Timeline for Examples of 2-categories with multiple interesting proarrow equipment structures
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 29, 2021 at 1:16 | answer | added | Mike Shulman | timeline score: 1 | |
| Nov 28, 2021 at 8:40 | comment | added | fosco | I have thought about this for some time, especially in light of your last remark: most often, the equipment is a Kleisli bicategory of an obvious 2-monad, and it would be natural to reverse-engineer this: find properties of a 2-monad ensuring that the free functor to the Kleisli bicategory equips the domain with proarrows. (This comment isn't even helpful :D just a selfish way to be sure I receive updates if someone answers) | |
| Nov 28, 2021 at 5:00 | answer | added | Mike Shulman | timeline score: 2 | |
| Nov 27, 2021 at 23:48 | history | asked | varkor | CC BY-SA 4.0 |