We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 90b93f5 commit 6fe1356Copy full SHA for 6fe1356
1 file changed
βREADME.mdβ
@@ -272,10 +272,18 @@ anders.groupoid.space/mathematics/
272
β βββ topology/
273
βββ categories/
274
βΒ Β βββ abelian/
275
+βΒ Β βββ adjunction/
276
+βΒ Β βββ cartesian/
277
+βΒ Β βββ cat/
278
βΒ Β βββ category/
279
+βΒ Β βββ equivalence/
280
βΒ Β βββ functor/
281
+βΒ Β βββ groupoid/
282
+βΒ Β βββ natural/
283
+βΒ Β βββ symmetric/
284
βΒ Β βββ topos/
-βΒ Β βββ groupoid/
285
+βΒ Β βββ universal/
286
+βΒ Β βββ yoneda/
287
βββ geometry/
288
βΒ Β βββ bundle/
289
βΒ Β βββ etale/
0 commit comments