Timeline for What are natural transformations in 1-categories?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 19, 2009 at 10:45 | comment | added | Harry Gindi | Strict 2-categories or bicategories? I feel like with strict 2-categories where all of the diagrams commute on the nose, we have enough, no? | |
| Dec 15, 2009 at 11:55 | vote | accept | Harrison Brown | ||
| Dec 15, 2009 at 8:19 | comment | added | Harrison Brown | Hmm, it took me a while but I think I follow the counterexample. Not too surprising, but a nice one nonetheless. I think your second paragraph hinges on what notions of 1- and 2-category you're using -- right? Pointed categories sound fun, although I'm more and more convinced that I need to actually learn category theory rather than solely working with the weird ad-hoc intuitions I've built up. Extra structure's fine with me, though. | |
| Dec 15, 2009 at 5:24 | history | answered | Reid Barton | CC BY-SA 2.5 |