Timeline for Do the representations of a 2-functor naturally form a contractible 2-category?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 19, 2023 at 11:24 | vote | accept | Nico | ||
| Jan 19, 2023 at 8:51 | comment | added | Nico | @KevinArlin It should be better now. "Weak 2-initial" probably would have also been less confusing. | |
| Jan 19, 2023 at 8:50 | history | edited | Nico | CC BY-SA 4.0 |
changed the terminology, since "weak initial" was a bad choice
|
| Jan 19, 2023 at 1:23 | comment | added | Kevin Carlson | "Weak initial object" is perhaps not the best choice of terminology here, since the meaning of "object with a not-necessarily-unique map to every object is already taken." For that matter, I don't understand all this use of "weak 2-category" when the word "bicategory" already exists. | |
| Jan 18, 2023 at 23:01 | history | answered | Nico | CC BY-SA 4.0 |