VariousWords beta
Related Terms:
Noun
Definition: A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.
VariousWords beta
Definition: A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory.