Timeline for What is the free lax-idempotent adjunction?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2022 at 16:46 | comment | added | Tim Campion | Oof... apparently there is an an nlab page answering most of these questions, citing Bunge and Funk... I should have researched more carefully before asking. I think all that remains is Question B -- and Question D, I suppose. | |
| Jun 21, 2022 at 16:43 | comment | added | Tim Campion | @SimonHenry Yes, there's the description I allude to in the second paragraph. It's the full sub2category of $Cat$ on the objects of $\Delta_{aug}$. I don't remember the reference... | |
| Jun 21, 2022 at 16:41 | comment | added | Simon Henry | Does $\Delta^l$ has an explicit description ? like the two cell being given by the order relation on maps in $\Delta$ ? | |
| Jun 21, 2022 at 16:16 | history | edited | Tim Campion | CC BY-SA 4.0 |
added 128 characters in body
|
| Jun 21, 2022 at 16:09 | history | asked | Tim Campion | CC BY-SA 4.0 |