Ancestors

Toot

Written by Tom de Jong on 2025-01-24 at 17:01

The slides for my speed talk on our JSL paper about epimorphisms and acyclic #types in #HoTT at the Yorkshire and Midlands #Category Theory Seminar (https://conferences.leeds.ac.uk/yamcats/meeting-36/) are up at https://tdejong.com/talks/YaMCATS-2025-01-24.pdf

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

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113884402676598165
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
231.735108 milliseconds
Gemini-to-HTML Time
0.583125 milliseconds

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