Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Stuart Presnell
(
Stuart Presnell(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:11:16
Steve Awodey
(
Steve Awodey(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:10:58
Simon Huber
(
Simon Huber(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:10:42
Robert Harper
(
Robert Harper(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:10:31
Richard Garner
(
Richard Garner(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:10:21
Pieter Hofstra
(
Pieter Hofstra(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:10:06
Peter LeFanu Lumsdaine
(
Peter LeFanu Lumsdaine(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:09:46
Peter Arndt
(
Peter Arndt(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:09:28
Per MartinLöf
(
Per MartinLöf(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:09:03
Paolo Capriotti
(
Paolo Capriotti(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:07:52
Paige North
(
Paige North(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:07:36
Nicolai Kraus
(
Nicolai Kraus(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:07:24
Nicola Gambino
(
Nicola Gambino(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:07:05
Morgan Opie
(
Morgan Opie(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:06:51
Michael Warren
(
Michael Warren(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:06:36
Michael Shulman
(
Michael Shulman(rev # 4)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:06:13
Matthieu Sozeau
(
Matthieu Sozeau(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:04:35
Martín Escardó
(
Martín Escardó(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:04:10
Luis Scoccola
(
Luis Scoccola(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:03:37
KuenBang Hou (Favonia)
(
KuenBang Hou (Favonia)(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:02:38
Kristina Sojakova
(
Kristina Sojakova(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:02:26
Jeremy Avigad
(
Jeremy Avigad(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:01:56
Jason Gross
(
Jason Gross(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:01:40
Jason Gross
(
Jason Gross(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:01:40
James Ladyman
(
James Ladyman(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:01:29
Ian Orton
(
Ian Orton(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:01:15
Guillaume Brunerie
(
Guillaume Brunerie(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:00:49
Floris van Doorn
(
Floris van Doorn(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:00:14
Evan Cavallo
(
Evan Cavallo(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:59:40
Eric Finster
(
Eric Finster(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:59:16
Emily Riehl
(
Emily Riehl(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:59:02
Egbert Rijke
(
Egbert Rijke(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:58:47
Ed Morehouse
(
Ed Morehouse(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:58:32
Dimitris Tsementzis
(
Dimitris Tsementzis(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:58:00
David Roberts
(
David Roberts(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:57:24
Daniel Christensen
(
Daniel Christensen(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:57:13
Dan Licata
(
Dan Licata(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:56:59
Dan Grayson
(
Dan Grayson(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:56:45
Chris Kapulkin
(
Chris Kapulkin(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:56:32
Carlo Angiuli
(
Carlo Angiuli(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:55:41
Benno van den Berg
(
Benno van den Berg(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:55:09
Benedikt Ahrens
(
Benedikt Ahrens(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:54:54
Bas Spitters
(
Bas Spitters(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:54:40
Anthony Bordg
(
Anthony Bordg(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:54:22
Andrew M. Pitts
(
Andrew M. Pitts(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:54:00
Andrej Bauer
(
Andrej Bauer(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:53:34
Andrea Vezzosi
(
Andrea Vezzosi(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:53:06
Anders Mörtberg
(
Anders Mörtberg(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:52:30
Ali Caglayan
(
Ali Caglayan(rev # 5)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:52:12
homotopy groups of spheres
(
homotopy groups of spheres(rev # 12)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:47:52
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 17)

history
)
by
Ali Caglayan
at October 17, 2018 at 10:40:39
Covering Spaces in Homotopy Type Theory
by
Ali Caglayan
at October 17, 2018 at 10:38:37
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 16)

history
)
by
Ali Caglayan
at October 17, 2018 at 09:40:20
spectral sequence
(
spectral sequence(rev # 11)

history
)
by
Ali Caglayan
at October 17, 2018 at 09:36:07
cohomology
(
cohomology(rev # 1)

history
)
by
Ali Caglayan
at October 17, 2018 at 05:36:32
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
(
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory(rev # 1)

history
)
by
Ali Caglayan
at October 17, 2018 at 05:34:46
Ed Morehouse
(
Ed Morehouse(rev # 1)

history
)
by
Ali Caglayan
at October 16, 2018 at 12:31:36
References
(
References(rev # 62)

history
)
by
Ali Caglayan
at October 14, 2018 at 13:24:13
The real projective spaces in homotopy type theory
by
Ali Caglayan
at October 14, 2018 at 13:12:31
πn(Sn) in Homotopy Type Theory
(
πn(Sn) in Homotopy Type Theory(rev # 2)

history
)
by
Ali Caglayan
at October 14, 2018 at 13:00:12
Synthetic Cohomology in Homotopy Type Theory
(
Synthetic Cohomology in Homotopy Type Theory(rev # 2)

history
)
by
Ali Caglayan
at October 14, 2018 at 13:00:08
On the homotopy groups of spheres in homotopy type theory
by
Ali Caglayan
at October 14, 2018 at 13:00:03
Homotopy limits in type theory
(
Homotopy limits in type theory(rev # 2)

history
)
by
Ali Caglayan
at October 14, 2018 at 12:59:58
Calculating the fundamental group of the circle in homotopy type theory
(
Calculating the fundamental group of the circle in homotopy type theory(rev # 2)

history
)
by
Ali Caglayan
at October 14, 2018 at 12:59:53
Synthetic Cohomology in Homotopy Type Theory
(
Synthetic Cohomology in Homotopy Type Theory(rev # 1)

history
)
by
Anonymous
?
at October 14, 2018 at 12:41:28
smash product
(
smash product(rev # 5)

history
)
by
Ali Caglayan
at October 14, 2018 at 09:27:02
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 15)

history
)
by
Ali Caglayan
at October 12, 2018 at 11:02:16
EilenbergMacLane space
(
EilenbergMacLane space(rev # 1)

history
)
by
Ali Caglayan
at October 12, 2018 at 10:54:21
EilenbergMacLane Spaces in Homotopy Type Theory
(
EilenbergMacLane Spaces in Homotopy Type Theory(rev # 3)

history
)
by
Ali Caglayan
at October 12, 2018 at 10:31:26
EilenbergMacLane Spaces in Homotopy Type Theory
(
EilenbergMacLane Spaces in Homotopy Type Theory(rev # 2)

history
)
by
Ali Caglayan
at October 12, 2018 at 03:47:14
identity type
(
identity type(rev # 5)

history
)
by
Ali Caglayan
at October 11, 2018 at 08:59:46
function extensionality
by
Ali Caglayan
at October 11, 2018 at 08:59:03
homotopy
(
homotopy(rev # 2)

history
)
by
Ali Caglayan
at October 11, 2018 at 08:58:44
function type
(
function type(rev # 1)

history
)
by
Ali Caglayan
at October 11, 2018 at 08:50:29
functor
(
functor(rev # 9)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:38:46
split essentially surjective
(
split essentially surjective(rev # 2)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:32:37
left adjoint
(
left adjoint(rev # 5)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:32:21
weak equivalence of precategories
(
weak equivalence of precategories(rev # 2)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:31:32
category
(
category(rev # 7)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:31:20
representable functor
(
representable functor(rev # 2)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:29:57
Category theory
(
Category theory(rev # 13)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:28:10
Rezk completion
(
Rezk completion(rev # 6)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:26:50
isomorphism in a precategory
(
isomorphism in a precategory(rev # 7)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:19:19
isomorphism in a precategory
(
isomorphism in a precategory(rev # 8)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:17:14
Univalent categories and the Rezk completion
(
Univalent categories and the Rezk completion(rev # 1)

history
)
by
Ali Caglayan
at October 11, 2018 at 06:13:36
algebraic formulation of dependent type theory
(
algebraic formulation of dependent type theory(rev # 4)

history
)
by
David Roberts
at October 11, 2018 at 04:34:54
Paige North
(
Paige North(rev # 2)

history
)
by
Ali Caglayan
at October 11, 2018 at 03:43:55
univalence axiom
(
univalence axiom(rev # 8)

history
)
by
Ali Caglayan
at October 11, 2018 at 03:43:10
homotopy
(
homotopy(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 19:57:50
equivalence
by
Ali Caglayan
at October 10, 2018 at 19:34:59
localization
(
localization(rev # 6)

history
)
by
Ali Caglayan
at October 10, 2018 at 19:21:02
Modalities in homotopy type theory
(
Modalities in homotopy type theory(rev # 2)

history
)
by
Ali Caglayan
at October 10, 2018 at 19:13:43
Localization in Homotopy Type Theory
(
Localization in Homotopy Type Theory(rev # 2)

history
)
by
Ali Caglayan
at October 10, 2018 at 19:10:40
pointed type
(
pointed type(rev # 2)

history
)
by
Ali Caglayan
at October 10, 2018 at 19:09:25
Localization in Homotopy Type Theory
(
Localization in Homotopy Type Theory(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 18:38:31
localization
(
localization(rev # 5)

history
)
by
Ali Caglayan
at October 10, 2018 at 18:30:00
Modalities in homotopy type theory
(
Modalities in homotopy type theory(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 18:27:53
Taichi Uemura
(
Taichi Uemura(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:06:49
Peter Arndt
(
Peter Arndt(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:06:08
Morgan Opie
(
Morgan Opie(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:05:10
« Previous
1
2
3
4
5
6
7
8
9
Next »