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²
- 19Homology theory constructed in a homotopy-invariant way
- 15/dev/sda1 not a subset of /dev/sda?
- 15Table of (integral) cohomology groups of K(Z,n)
- 13Topological spaces whose continuous image is always closed
- View more network posts →