Ancestors

Written by HarrisonGrodin on 2024-10-23 at 23:29

What is a (co)limit in a (generalized) multicategory?

=> More informations about this toot | More toots from HarrisonGrodin@mathstodon.xyz

Toot

Written by ohad on 2024-10-24 at 04:22

@HarrisonGrodin Levy and Staton POPL paper develops this for pre-multicategories, I guess a slightly simpler development for multicategories would work.

Multicategories have a Yoneda structure (Hermida develops that one) that would give you one class. You can try finding a Yoneda structure for co-multicategories, it might give you the other. But there's something funny happening for those, so there might be more than one yoneda structure, or maybe none at all and you'd need to work with proarrow equipments.

Just an intuition!

=> More informations about this toot | More toots from ohad@mathstodon.xyz

Descendants