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