categorification
categorify
profunctor
abstract nonsense
theorize
set-theoretic
theoretize
instantiation
theorematics
category theory
semigroupoid
abstract analytic number theory
fundamental theorem
bicategory
combinatorics
organon
definitionism
classificationism
morphism
algebraic graph theory
pluperfection
glossary
assignment
faithful
set theoretically
Tauberian
Nullstellensatz
categorization
decategorified
axiomatic system
Ob
graph theory
contrast set
scheme theory
set
Zermelo set theory
sets
group theory
representation theory
tricategory
Zermelo-Fraenkelian
exemplar
indexing language
type theory
categorial
categorically
conservative extension
Grothendieck topology
pattern theory
coend
axiom system
mathematicism
decategorification
metaphysics
allegory
functor
mathematical space
coterminal
Harnack's curve theorem
Szpiro's conjecture
theory-laden
disposal
mouse
deployment
graph-theoretically
ring theory
rule of thumb
theorematic
theorism
technological
mathematical logic
structuralism
conceptual schema
logicism
bicartesian closed category
refer
generalization
technical
General Responsibility Assignment Software Patterns
generalisation
set theory
tetracategory
pure mathematics
casebook
classemic
multicategorical
textbook
Zermelo-Fraenkel set theory
mathematical sociology
cohomology
uniruled
discrete mathematics
universal algebra
ontic
special case
metatheory
field theory
many-sorted logic
mereotopology

English words for 'A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.'

As you may have noticed, above you will find words for "A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

mannequin gas cooktop ironical misfeasance to entrap. sort. male cat to fertilize. family fortune empowerment lamplight in some way or other Remarkable wage rate -er imperative statement sheriff decayed tooth the goal. the butt of a joke. at the last moment prison labor grouping expiry date butadiene rubber house-sitter thrown away pacifist. lymph node fourth toe special duty (railway) crossing gate to be made to laugh a ruler. labour force according to statute moreover. Flexible agreeing mutual love to select. Buddhist scriptures billionaire to accumulate. manual labour fast. moonlight notion partial antique