Timeline for Comparing $\mathcal C$ and $\mathcal C^{\mathcal C}$ (where $\mathcal C$ is a category)
Current License: CC BY-SA 4.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 17, 2019 at 22:28 | comment | added | Matt Feller | Interesting! And it seems that in this example, $|\text{Mor}(\mathcal{C})|=|\text{Mor}(\mathcal{C}^{\mathcal{C}})|$ as well. (In each case, we have the identity morphism for each object, so at least $2^{\aleph_0}$ morphisms, but since they are both posets, we also have no more than $|\text{Ob}\times\text{Ob}|=2^{\aleph_0}\cdot 2^{\aleph_0}=2^{\aleph_0}$ morphisms.) | |
Jun 28, 2019 at 22:58 | vote | accept | Pierre-Yves Gaillard | ||
Jun 27, 2019 at 14:45 | history | answered | Pierre-Yves Gaillard | CC BY-SA 4.0 |