[HoTT] Proof that something is an embedding without assuming excluded middle?
2018-11-15 19:29 UTC (10+ messages)
` [HoTT] "
[HoTT] Homotopy Type Theory and Univalent Foundations conference in Oslo
2018-11-14 12:31 UTC
Semantics of higher inductive types
2018-11-12 12:30 UTC (14+ messages)
` [HoTT] "
[HoTT] Final Call for Presentations: Second Symposium on Compositional Structures (SYCO 2)
2018-11-11 11:32 UTC
[HoTT] Computer-generated proofs for the monoidal structure of the smash product
2018-11-09 15:22 UTC (3+ messages)
` [HoTT] "
[HoTT] Precategories, Categories and Univalent categories
2018-11-09 15:06 UTC (46+ messages)
` [HoTT] "
[HoTT] On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
2018-10-30 3:21 UTC (4+ messages)
` [HoTT] Quantum Groups
[HoTT] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations
2018-10-25 16:47 UTC
[HoTT] Summer School on Higher Topos Theory and Univalent Foundations
2018-10-23 20:52 UTC
[HoTT] A communal proof of an initiality theorem
2018-10-18 19:58 UTC (2+ messages)
` [HoTT] "
[HoTT] HoTT Wiki
2018-10-10 13:55 UTC
[HoTT] A proof that univalence implies function extensionality
2018-10-08 14:12 UTC
[HoTT] Characteristic Classes for Types
2018-10-02 16:20 UTC (12+ messages)
` [HoTT] "
` [HoTT] the weak infinite groupoid in Simple Type Theory
[HoTT] The Hodge structure of a type
2018-09-25 8:59 UTC (5+ messages)
[HoTT] Euler characteristic of a type
2018-09-19 3:52 UTC (9+ messages)
[HoTT] Orthogonal groups and grassmannians in HoTT
2018-09-17 0:20 UTC
[HoTT] 1D W Type?
2018-09-16 6:53 UTC
[HoTT] MSRI semester program "Higher Categories and Categorification" January - May 2020
2018-09-14 0:42 UTC
[HoTT] Looking for a reference that HITs are a strict extension of HoTT
2018-09-07 12:38 UTC (5+ messages)
[HoTT] HoTT Electronic Seminar Talks Fall 2018
2018-09-06 16:23 UTC
[HoTT] Final announcement, Vladimir Voevodsky Memorial Conference
2018-08-27 10:41 UTC
[HoTT] 8,9 Oct: EUTypes meeting in Aarhus
2018-08-26 13:40 UTC
[HoTT] 1D Mu Type
2018-08-22 23:54 UTC (7+ messages)
` [HoTT] "
[HoTT] Real Projective space (and other projective spaces too)
2018-08-19 6:36 UTC (6+ messages)
` [HoTT] "
[HoTT] Localising spheres in HoTT
2018-08-15 8:51 UTC (2+ messages)
[HoTT] [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?
2018-08-08 6:18 UTC
[HoTT] In memoriam: Vladimir Voevodsky
2018-08-04 20:36 UTC
[HoTT] TOWARDS A DIRECTED HOMOTOPY TYPE THEORY
2018-08-03 19:07 UTC (2+ messages)
` [HoTT] "
[HoTT] Two Papers on Path Types and Identity Types
2018-08-03 10:33 UTC
HoTT/UF in MSC2020
2018-08-02 5:49 UTC (4+ messages)
` [HoTT] "
[HoTT] Localization in Homotopy Type Theory and status of synthetic homotopy theory in HoTT
2018-07-30 22:14 UTC (2+ messages)
[HoTT] 2nd announcement, Vladimir Voevodsky Memorial Conference
2018-07-25 10:50 UTC
[HoTT] Two PhD Positions in Program Verification
2018-07-25 8:31 UTC
[HoTT] homotopy groups in CCHM cubical type theory
2018-07-20 22:29 UTC (3+ messages)
[HoTT] What is knot in HOTT?
2018-07-20 16:42 UTC (14+ messages)
[HoTT] What is known and/or written about “Frobenius eliminators”?
2018-07-13 11:05 UTC (7+ messages)
` [HoTT] "
[HoTT] Equality in the Model Type Framework
2018-07-05 14:31 UTC (7+ messages)
` [HoTT] "
[HoTT] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming
2018-07-03 14:41 UTC
[HoTT] Hausdorff HoTT Workshop videos
2018-06-29 15:16 UTC
[HoTT] Agda formalization question
2018-06-26 20:42 UTC (5+ messages)
` [HoTT] "
[HoTT] Preprint - Cubical informal type theory: the higher groupoid structure
2018-06-26 5:34 UTC
[HoTT] is there a categorical construction to generalize arrow composition, by allowing domain and codomain to be refined (or changed) by the composition ?
2018-06-21 19:16 UTC (8+ messages)
` [HoTT] "
Quillen model structure
2018-06-14 21:07 UTC (19+ messages)
` [HoTT] "
` [HoTT] Quillen model structure, PS
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).