Ancestors

Written by julesh on 2025-01-25 at 18:36

I'm trying to implement the composition product of monomial endofunctors for the van Laarhoven encoding. It is very hard.

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

Written by Zanzi @ Monoidal Cafe on 2025-01-25 at 19:11

@julesh :D are you making progress?

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

Written by julesh on 2025-01-25 at 19:13

@zanzi I made what might be a bunch of progress but then got stuck. I expected it to be very hard and it did not disappoint

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

Written by julesh on 2025-01-25 at 19:14

@zanzi I expect it to be a more complicated version of the tensor product, which in Kmett's source code looks like this:

=> View attached media

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

Toot

Written by Zanzi @ Monoidal Cafe on 2025-01-25 at 23:42

@julesh oof, that is very difficult to parse :o

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

Descendants