categorify
categorification
abstract nonsense
decategorified
profunctor
coend
tricategory
semigroupoid
fundamental theorem
axiomatic system
categorically
field theory
combinatorics
categorial
Nullstellensatz
faithful
bicartesian closed category
theorematics
graph-theoretically
Tauberian
category theory
set theory
de Bruijn-Erdős theorem
Grothendieck topology
abstract analytic number theory
Harnack's curve theorem
pluperfection
theorem
Euascomycetes
Neukirch-Uchida theorem
subclass Euascomycetes
subcategory
pure mathematics
Cantor's theorem
metaconjecture
theoretize
modern algebra
allegory
classificationism
special case
elementary topos
mean value theorem
functor
theorize
complex projective line
moonshine
Szpiro's conjecture
number theory
Kruskal's tree theorem
bicategory