Timeline for Universal property of category of categories
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 10 at 14:41 | history | edited | user39598 | CC BY-SA 4.0 |
added 34 characters in body
|
| Jul 10 at 3:57 | comment | added | Qiaochu Yuan | There should be a result along the lines that if $V$ is a cocomplete closed symmetric monoidal ($\infty$?)-category then $V$ is the free cocomplete $V$-enriched category on a point, a special case of the universal property of presheaf categories. Morally we'd like to apply that result to $V = \text{Cat}$ here. | |
| Jul 10 at 3:17 | comment | added | David Roberts♦ | "the category of spaces" here being the $(\infty,1)$-category of (homotopy types of) spaces, and cocompletion is homotopy cocompletion. Obviously you know this, but leading with the abuse of terminology is not helpful. | |
| Jul 10 at 2:17 | history | asked | user39598 | CC BY-SA 4.0 |