Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

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
References
(
References(rev # 61)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:04:13
Andrea Vezzosi
(
Andrea Vezzosi(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:03:35
Stuart Presnell
(
Stuart Presnell(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:01:27
James Ladyman
(
James Ladyman(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 15:00:34
Luis Scoccola
(
Luis Scoccola(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:58:09
Pieter Hofstra
(
Pieter Hofstra(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:57:25
Thorsten Altenkirch
(
Thorsten Altenkirch(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:55:34
Ali Caglayan
(
Ali Caglayan(rev # 4)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:54:27
Dimitris Tsementzis
(
Dimitris Tsementzis(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:53:47
Ian Orton
(
Ian Orton(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:52:36
Andrew M. Pitts
(
Andrew M. Pitts(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:51:58
Matthieu Sozeau
(
Matthieu Sozeau(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:51:00
Andrej Bauer
(
Andrej Bauer(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:50:15
Jason Gross
(
Jason Gross(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:49:41
Jeremy Avigad
(
Jeremy Avigad(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:48:19
Simon Huber
(
Simon Huber(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:47:07
Anders Mörtberg
(
Anders Mörtberg(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:46:08
Kristina Sojakova
(
Kristina Sojakova(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:44:58
Martín Escardó
(
Martín Escardó(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:43:20
Evan Cavallo
(
Evan Cavallo(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:41:58
Anthony Bordg
(
Anthony Bordg(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:40:52
Álvaro Pelayo
(
Álvaro Pelayo(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:40:02
Michael Warren
(
Michael Warren(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:33:03
Peter LeFanu Lumsdaine
(
Peter LeFanu Lumsdaine(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:32:13
Robert Harper
(
Robert Harper(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:30:56
Benedikt Ahrens
(
Benedikt Ahrens(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:30:14
Paige North
(
Paige North(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:29:25
Benno van den Berg
(
Benno van den Berg(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:28:23
Paolo Capriotti
(
Paolo Capriotti(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:27:39
Nicola Gambino
(
Nicola Gambino(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:22:12
Steve Awodey
(
Steve Awodey(rev # 2)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:21:54
Chris Kapulkin
(
Chris Kapulkin(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:17:46
Nicolai Kraus
(
Nicolai Kraus(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:15:34
Daniel Christensen
(
Daniel Christensen(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:14:49
Thierry Coquand
(
Thierry Coquand(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:13:26
Emily Riehl
(
Emily Riehl(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 14:12:44
Egbert Rijke
(
Egbert Rijke(rev # 2)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:53:38
Richard Garner
(
Richard Garner(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:50:31
Vladimir Voevodsky
(
Vladimir Voevodsky(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:47:43
Eric Finster
(
Eric Finster(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:42:34
References
(
References(rev # 60)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:41:29
Ulrik Buchholtz
(
Ulrik Buchholtz(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 13:34:45
Egbert Rijke
(
Egbert Rijke(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:38:49
KuenBang Hou (Favonia)
(
KuenBang Hou (Favonia)(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:35:40
References
(
References(rev # 59)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:34:20
Michael Shulman
(
Michael Shulman(rev # 3)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:27:56
Dan Licata
(
Dan Licata(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:19:42
Guillaume Brunerie
(
Guillaume Brunerie(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:19:17
EilenbergMacLane Spaces in Homotopy Type Theory
(
EilenbergMacLane Spaces in Homotopy Type Theory(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:10:48
Calculating the fundamental group of the circle in homotopy type theory
(
Calculating the fundamental group of the circle in homotopy type theory(rev # 1)

history
)
by
Ali Caglayan
at October 10, 2018 at 12:09:33
πn(Sn) in Homotopy Type Theory
(
πn(Sn) in Homotopy Type Theory(rev # 1)

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