Answer by Lee Mosher for How are (small) categories defined using set theory?
Your speculations about how one can formalize the axioms of a category are kind of interesting, although they differ somewhat from the details of how that formalization is actually carried out.Let me...
View ArticleHow are (small) categories defined using set theory?
A category consists of a collection of objects and a collection of morphisms such that any morphism has a specified domain and codomain, there is the identity morphism for every object and such that...
View Article
More Pages to Explore .....