Timeline for Name of "slice" category with 2-cells as morphisms ?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jun 24, 2011 at 21:32 | comment | added | Mike Shulman | I feel fairly strongly that the unqualified term "slice 2-category" should refer to the pseudo version. Lax objects are generally less well-behaved and less fundamental than pseudo ones, and while they have specialized uses, the central role in the theory is usually played by the pseudo version. | |
| Jun 24, 2011 at 18:37 | comment | added | Finn Lawler | I don't think there's any real ambiguity -- what I meant is that there's more than one sensible notion of 'slice 2-category', and which one is correct depends on what you want it for. But yes, they're all contained in the lax slice, so you could take that as fundamental. | |
| Jun 24, 2011 at 15:56 | comment | added | Martin Brandenburg | You're right, there is some ambiguity. But instead of introducing an extra notion for the case where everything invertible, I would just use $(C/c)_{cart}$ with the above definition of $C/c$. | |
| Jun 24, 2011 at 15:23 | history | answered | Finn Lawler | CC BY-SA 3.0 |