Timeline for What is the category of covariant and contravariant functors?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 3, 2021 at 16:07 | comment | added | Simon Henry | I also don't think there is a terminal objects and I don't quite see either how product or coproduct would work. My guess would be that the point of view of Mike Shulman's answer might be better suited for this... the category should have enriched limits/colimits when considered as an enriched category in the way described by Mike. | |
| Apr 3, 2021 at 5:46 | comment | added | Claudio Pisani | I'm wondering which are the completeness properties of $\bf Cat'$. For instance, there seems to be no terminal object; in fact, in $\bf Cat'$ there are two morphisms to the terminal category: one covariant and one contravariant. And the same problem holds for the initial object. | |
| Apr 2, 2021 at 12:24 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 16 characters in body
|
| Apr 2, 2021 at 10:51 | vote | accept | Claudio Pisani | ||
| Apr 2, 2021 at 0:09 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 120 characters in body
|
| Apr 2, 2021 at 0:01 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 69 characters in body
|
| Apr 1, 2021 at 23:55 | history | answered | Simon Henry | CC BY-SA 4.0 |