Timeline for Is there any elementary text unravelling the definitions of 2-category, lax functor and lax transformation, allowing people who do not know in the first place what these things are to really understand the definitions?
Current License: CC BY-SA 3.0
10 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 31, 2022 at 3:30 | answer | added | Dmitri Pavlov | timeline score: 4 | |
Dec 14, 2013 at 15:17 | history | edited | user9072 |
edited tags
|
|
Jan 9, 2012 at 16:32 | comment | added | Tom Leinster | Very kind of you, Jonathan. Thanks. | |
Jan 9, 2012 at 14:12 | comment | added | S. Carnahan♦ | As far as I can tell, both Borceaux's Handbook and Johnstone's Topos theory book have the definitions you want. | |
Jan 9, 2012 at 9:01 | history | edited | Jonathan Chiche | CC BY-SA 3.0 |
Added a paragraph at the end.
|
Jan 2, 2012 at 18:08 | comment | added | Mike Shulman | Unfortunately, Gray's book fails the condition "vocabulary has to be consistent with current usage" in a massive way. (-: | |
Dec 25, 2011 at 11:54 | comment | added | Buschi Sergio | the better I read was "J. W. Gray, Formal category theory--Adjointness for 2 categories" Is hard in first time, but is great book. | |
Nov 27, 2011 at 18:44 | comment | added | Benjamin Steinberg | +1. I would like 2-categories for the working mathematician. The books I find on 2-categories and bicategories assume much more of a category theory background than one would get from reading Mac Lane's classic. Given how people doing locally compact groupoids in analysis are using bicategories all the time as is Morita theory for rings, it be nice to have a treatise for noncategory theorists. | |
Nov 25, 2011 at 22:25 | comment | added | Eric Rowell | I won't give this as an answer because I can't confirm your conditions, but at least it discusses these topics and can be searched: math.tamu.edu/~maguiar/a.pdf | |
Nov 25, 2011 at 11:44 | history | asked | Jonathan Chiche | CC BY-SA 3.0 |