I’m a PhD student in homotopy type theory in the university of Nice Sophia Antipolis. I’m particularly interested in topology (algebraic topology, differential geometry), logic (set theory, theoretical computer science), category theory and homotopy type theory.
Top Network Posts
- 34Why does a LinearLayout which is invisible take up space?
- 23Homotopy groups of spheres in a $(\infty, 1)$-topos
- 21Is every closed set of Q² the intersection of some connected closed set of R² with Q²
- 20Homology theory constructed in a homotopy-invariant way
- 16Table of (integral) cohomology groups of K(Z,n)
- 15Topological spaces whose continuous image is always closed
- 15/dev/sda1 not a subset of /dev/sda?
- View more network posts →