man, univalent group theory is so nice. Everything just... works, and in such a straight forwards and simple way. The things that you normally need to create equivalence classes to equate in classical group theory are just straight up equal in some obvious structure in univalent group theory. Good stuff
=> More informations about this toot | View the thread | More toots from isAdisplayName@mathstodon.xyz
text/geminiThis content has been proxied by September (3851b).