Timeline for Applications of the simplex $2$-category and its higher dimensional cousins
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 16, 2023 at 22:15 | comment | added | Tim Campion | Pursuant to @SimonHenry 's comment, I wonder if there are also higher-dimensional analogs of the notion of a lax-idempotent adjunction? | |
| Dec 15, 2022 at 17:36 | history | edited | Emily | CC BY-SA 4.0 |
Apologies for the many edits! Hopefully this is the last one for a long while
|
| Dec 8, 2022 at 21:08 | history | edited | Emily | CC BY-SA 4.0 |
found a more conceptual way to define $\Delta_n$
|
| Dec 8, 2022 at 17:23 | history | edited | Emily | CC BY-SA 4.0 |
added 731 characters in body; edited title
|
| Dec 8, 2022 at 5:55 | comment | added | Simon Henry | Oh yes absolutely sorry - you need the empty ordinal for both of these. | |
| Dec 8, 2022 at 5:29 | history | edited | Emily | CC BY-SA 4.0 |
added 999 characters in body
|
| Dec 8, 2022 at 5:25 | comment | added | Emily | @SimonHenry That would be a nice universal property! (By the way, I hope I'm not being too pedantic here, but should $\Delta$ be $\Delta_+$ instead, the augmented simplex category?) | |
| Dec 8, 2022 at 5:23 | history | edited | Emily | CC BY-SA 4.0 |
added 999 characters in body
|
| Dec 8, 2022 at 5:01 | comment | added | Simon Henry | $\Delta$ with its concatenation product is the free monoidal category generated by a monoid. I believe $\Delta_2$ is the free monoidal 2-category generated by a lax idempotent monoid (In the sense of ncatlab.org/nlab/show/lax-idempotent+2-monad ) | |
| Dec 8, 2022 at 3:05 | history | asked | Emily | CC BY-SA 4.0 |