Toot

Written by Zanzi @ Monoidal Cafe on 2025-01-30 at 00:03

@ncf @julesh @sjoerd_visscher Ah, well, done!

I was wondering if it would end up being isomorphic to s -> Free (IxStore a b) t, so glad to see that it's true.

@Andrev you mentioned that you can get this using kleene star over containers, is that with the composition product?

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

Mentions

=> View ncf@types.pl profile | View julesh@mathstodon.xyz profile | View sjoerd_visscher@types.pl profile | View Andrev@types.pl profile

Tags