Search
❯
Jun 05, 20261 min read
A groupoid is a Category whose morphisms are all isomorphisms. Fundamental Groupoid