Timeline for Is there a standard name for a 2-category which has an object z such that, for every object x, the category Hom(x,z) has a terminal object?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 22, 2012 at 7:31 | comment | added | Jonathan Chiche | Thanks! I am noy sure this is what I am looking for but it may be helpful. | |
| Sep 30, 2012 at 1:26 | history | answered | Michael Barr | CC BY-SA 3.0 |