Newbetuts
.
New posts in homotopy-type-theory
How am I to interpret induction/recursion in type theory?
type-theory
homotopy-type-theory
Is there a fundamental distinction between objects and its types?
type-theory
homotopy-type-theory
Two questions on homotopy type theory
type-theory
homotopy-type-theory
univalent-foundations
Glue types in cubical type theory
type-theory
homotopy-type-theory
Homotopy Type Theory prerequisites.
reference-request
soft-question
homotopy-type-theory
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
computer-assisted-proofs
homotopy-type-theory
Groupoids more fundamental than categories, really?
category-theory
foundations
homotopy-type-theory
Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book
reference-request
homotopy-theory
type-theory
homotopy-type-theory
Definition of a map of (pre)spectra in HoTT
homotopy-theory
homotopy-type-theory
spectra
Confusion about Homotopy Type Theory terminology
type-theory
homotopy-type-theory
What is wrong with ZFC?
elementary-set-theory
foundations
homotopy-type-theory
univalent-foundations
Prev