Toot

Written by James Wood on 2025-01-03 at 15:39

I think I actually want pseudomonoids on Span(Set). Or rather, on the equivalent bicategory that avoids having to use spans when I already have indexed types.

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

Mentions

Tags

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

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