Toot

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 | View the thread | More toots from julesh@mathstodon.xyz

Mentions

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113890438678856260
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
221.378592 milliseconds
Gemini-to-HTML Time
0.345729 milliseconds

This content has been proxied by September (3851b).