See http://www.cs.man.ac.uk/~hsimmons/BOOKS/CatTheory.pdf" [Broken]. Also the appendix on Foundations in MacLane's Categories for the Working Mathematician is a direct presentation.
Last edited by a moderator:
#3
Reedeegi
99
0
Ah, yes, I see that MacLane's book does indeed include such a section; thank you!
What is the intent of your question? Maybe there are other interesting things out there you would find interesting -- topos theory comes to mind.
I know that someone (don't remember who) wrote a paper on directly axiomatizing the (super-large) 2-category of large categories, without reference to a formal set theory. Of course, his axioms provide for the construction of a large category Set, but I don't remember how that turns out to look. Maybe you'd find that interesting if you can find it?
#5
Reedeegi
99
0
Yes, I've been able to track down and purchase books on topos theory; including Mac Lane's Sheaves in Geometry and Logic and Goldblatt's Topoi; also, that article you referenced may be Colin McLarty's one on axiomatizing the category of categories; does this ring a bell?