#univalent — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #univalent, aggregated by home.social.
-
@MartinEscardo and I have been working on injective #types in #constructive #univalent mathematics.
Last week I gave an informal talk in our group's seminar and I wrote a brief blog post with several pointers in case you'd like to know more: https://fplunchnott.wordpress.com/2024/10/25/injective-types/