Timeline for Can cyclic and simplicial objects be related in a similar way to how the species of linear orders is the derivative of the species of cyclic orders?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5, 2023 at 1:02 | comment | added | Mathemologist | If $\Delta_{\alpha} : 2Cat$ is freely generated by $\{ [0]\leftarrow [-1] \rightarrow [0]\}$ under the operations of pushouts and adjoints, then $\Delta_{\alpha}^{op} : 2Cat$ is generated by $\{ [0]\rightarrow [-1] \leftarrow [0]\}$ under pullbacks and adjoints, right? Perhaps the self-duality of $\Lambda_{\alpha}$ suggests a description as a 2-category generated by taking adjoints, pushouts, and pullbacks? Hmm. | |
| Jul 4, 2023 at 20:23 | history | asked | Mathemologist | CC BY-SA 4.0 |