Timeline for How different category theories relate
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 7, 2012 at 14:57 | comment | added | Spice the Bird | For Feferman's paper: math.stanford.edu/~feferman/papers/ess.pdf | |
| Jun 19, 2011 at 23:32 | comment | added | Ali Enayat | @Mike: I see, thanks for the reply. | |
| Jun 19, 2011 at 22:48 | comment | added | Mike Shulman | @Ali: No, just my ignorance at the time I wrote it. That's one of the reasons it's in need of revising. (-: | |
| Jun 18, 2011 at 18:14 | comment | added | Ali Enayat | @Mike: I saw your paper when it appeared, and benefited from reading it. As I recall, in your paper, there was no reference to Solomon Feferman's work on the foundations of category theory as it relates to the Quine-Jensen set theory $NFU$, e.g., his paper Enriched Stratified Systems for the Foundations of Category Theory, that appeared in the 2006 Collection What is Category Theory [the paper is also available on Feferman's homepage]. Was that intentional? | |
| Jun 18, 2011 at 11:04 | comment | added | Todd Trimble | This could also be taken as understatement! It's a very useful paper. | |
| Jun 18, 2011 at 5:39 | history | answered | Mike Shulman | CC BY-SA 3.0 |