Discussion of Homotopy Type Theory and Univalent Foundations
 help / Atom feed
[HoTT] Precategories, Categories and Univalent categories
 2018-11-08 21:37 UTC  (39+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Computer-generated proofs for the monoidal structure of the smash product
 2018-11-08 18:06 UTC  - mbox.gz / Atom

[HoTT] On the Use of Computational Paths in Path Spaces of Homotopy Type Theory
 2018-10-30  3:21 UTC  (4+ messages) - mbox.gz / Atom
` [HoTT] Quantum Groups

[HoTT] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations
 2018-10-25 16:47 UTC  - mbox.gz / Atom

[HoTT] Summer School on Higher Topos Theory and Univalent Foundations
 2018-10-23 20:52 UTC  - mbox.gz / Atom

[HoTT] A communal proof of an initiality theorem
 2018-10-18 19:58 UTC  (2+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] HoTT Wiki
 2018-10-10 13:55 UTC  - mbox.gz / Atom

[HoTT] A proof that univalence implies function extensionality
 2018-10-08 14:12 UTC  - mbox.gz / Atom

[HoTT] Characteristic Classes for Types
 2018-10-02 16:20 UTC  (12+ messages) - mbox.gz / Atom
` [HoTT] "
` [HoTT] the weak infinite groupoid in Simple Type Theory

Semantics of higher inductive types
 2018-10-01 13:02 UTC  (10+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] The Hodge structure of a type
 2018-09-25  8:59 UTC  (5+ messages) - mbox.gz / Atom

[HoTT] Euler characteristic of a type
 2018-09-19  3:52 UTC  (9+ messages) - mbox.gz / Atom

[HoTT] Orthogonal groups and grassmannians in HoTT
 2018-09-17  0:20 UTC  - mbox.gz / Atom

[HoTT] 1D W Type?
 2018-09-16  6:53 UTC  - mbox.gz / Atom

[HoTT] MSRI semester program "Higher Categories and Categorification" January - May 2020
 2018-09-14  0:42 UTC  - mbox.gz / Atom

[HoTT] Looking for a reference that HITs are a strict extension of HoTT
 2018-09-07 12:38 UTC  (5+ messages) - mbox.gz / Atom

[HoTT] HoTT Electronic Seminar Talks Fall 2018
 2018-09-06 16:23 UTC  - mbox.gz / Atom

[HoTT] Final announcement, Vladimir Voevodsky Memorial Conference
 2018-08-27 10:41 UTC  - mbox.gz / Atom

[HoTT] 8,9 Oct: EUTypes meeting in Aarhus
 2018-08-26 13:40 UTC  - mbox.gz / Atom

[HoTT] 1D Mu Type
 2018-08-22 23:54 UTC  (7+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Real Projective space (and other projective spaces too)
 2018-08-19  6:36 UTC  (6+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Localising spheres in HoTT
 2018-08-15  8:51 UTC  (2+ messages) - mbox.gz / Atom

[HoTT] [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?
 2018-08-08  6:18 UTC  - mbox.gz / Atom

[HoTT] In memoriam: Vladimir Voevodsky
 2018-08-04 20:36 UTC  - mbox.gz / Atom

[HoTT] TOWARDS A DIRECTED HOMOTOPY TYPE THEORY
 2018-08-03 19:07 UTC  (2+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Two Papers on Path Types and Identity Types
 2018-08-03 10:33 UTC  - mbox.gz / Atom

HoTT/UF in MSC2020
 2018-08-02  5:49 UTC  (4+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Localization in Homotopy Type Theory and status of synthetic homotopy theory in HoTT
 2018-07-30 22:14 UTC  (2+ messages) - mbox.gz / Atom

[HoTT] 2nd announcement, Vladimir Voevodsky Memorial Conference
 2018-07-25 10:50 UTC  - mbox.gz / Atom

[HoTT] Two PhD Positions in Program Verification
 2018-07-25  8:31 UTC  - mbox.gz / Atom

[HoTT] homotopy groups in CCHM cubical type theory
 2018-07-20 22:29 UTC  (3+ messages) - mbox.gz / Atom

[HoTT] What is knot in HOTT?
 2018-07-20 16:42 UTC  (14+ messages) - mbox.gz / Atom

[HoTT] What is known and/or written about “Frobenius eliminators”?
 2018-07-13 11:05 UTC  (7+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Equality in the Model Type Framework
 2018-07-05 14:31 UTC  (7+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming
 2018-07-03 14:41 UTC  - mbox.gz / Atom

[HoTT] Hausdorff HoTT Workshop videos
 2018-06-29 15:16 UTC  - mbox.gz / Atom

[HoTT] Agda formalization question
 2018-06-26 20:42 UTC  (5+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Preprint - Cubical informal type theory: the higher groupoid structure
 2018-06-26  5:34 UTC  - mbox.gz / Atom

[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) - mbox.gz / Atom
` [HoTT] "

Quillen model structure
 2018-06-14 21:07 UTC  (21+ messages) - mbox.gz / Atom
  ` [HoTT] "
  ` [HoTT] Quillen model structure, PS

Save the date: HoTT 2019
 2018-06-08 15:31 UTC  - mbox.gz / Atom

Where is the problem with initiality?
 2018-06-06 19:25 UTC  (36+ messages) - mbox.gz / Atom
  ` [HoTT] "

page:   latest

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/ public-inbox