Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
Naïm Camille Favier
@ncf@types.pl
PhD student at Chalmers interested in univalent foundations, category theory and music.
types.pl
@ncf@types.pl
·
Apr 01, 2026
@jcreed at least yes assuming Whitehead's principle, since A₀ is n-connected for all n.
1
0
0
Loading comments...