Paolo Capriotti's blog
Type theory, category theory, functional programming
Blog
Archive
About
Category: topology
2019
O(2) as a semidirect product
Apr
30
2019
Deloopings of 1-groups
Jan
02
2019