Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

cohomology
(
cohomology(rev # 4)

history
)
by
Ali Caglayan
at December 18, 2018 at 08:35:00
spectrum
(
spectrum(rev # 3)

history
)
by
Ali Caglayan
at December 18, 2018 at 08:11:00
spectrum
(
spectrum(rev # 1)

history
)
by
Ali Caglayan
at December 17, 2018 at 19:42:21
spectrum
(
spectrum(rev # 2)

history
)
by
Ali Caglayan
at December 17, 2018 at 19:40:51
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 9)

history
)
by
Tim Porter
?
at December 10, 2018 at 07:47:37
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 8)

history
)
by
Ali Caglayan
at December 7, 2018 at 13:37:28
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 7)

history
)
by
Ali Caglayan
at December 7, 2018 at 11:04:32
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 6)

history
)
by
Urs Schreiber
at December 7, 2018 at 09:50:30
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 5)

history
)
by
Ali Caglayan
at December 7, 2018 at 09:37:16
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 4)

history
)
by
Urs Schreiber
at December 7, 2018 at 09:12:14
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 3)

history
)
by
Ali Caglayan
at December 7, 2018 at 07:00:16
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 2)

history
)
by
Urs Schreiber
at December 7, 2018 at 02:16:12
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 1)

history
)
by
Ali Caglayan
at December 6, 2018 at 18:15:30
open problems
(
open problems(rev # 44)

history
)
by
Ali Caglayan
at December 6, 2018 at 17:29:31
References
(
References(rev # 63)

history
)
by
Mike Shulman
at November 1, 2018 at 13:48:34
Vladimir Voevodsky
(
Vladimir Voevodsky(rev # 2)

history
)
by
Ali Caglayan
at October 19, 2018 at 06:59:07
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 19)

history
)
by
Ali Caglayan
at October 19, 2018 at 06:52:12
open problems
(
open problems(rev # 43)

history
)
by
Ali Caglayan
at October 18, 2018 at 12:18:57
cohomology
(
cohomology(rev # 3)

history
)
by
Ali Caglayan
at October 18, 2018 at 08:03:55
homotopy groups of spheres
(
homotopy groups of spheres(rev # 16)

history
)
by
Alexis Hazell
?
at October 18, 2018 at 07:50:01
spectral sequence
(
spectral sequence(rev # 12)

history
)
by
Ali Caglayan
at October 18, 2018 at 06:22:24
homotopy groups of spheres
(
homotopy groups of spheres(rev # 15)

history
)
by
Alexis Hazell
?
at October 18, 2018 at 05:45:04
homotopy groups of spheres
(
homotopy groups of spheres(rev # 14)

history
)
by
Richard Williamson
?
at October 18, 2018 at 05:24:10
homotopy groups of spheres
(
homotopy groups of spheres(rev # 13)

history
)
by
Alexis Hazell
?
at October 18, 2018 at 05:09:03
cohomology
(
cohomology(rev # 2)

history
)
by
Ali Caglayan
at October 18, 2018 at 03:33:59
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 18)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:17:14
Álvaro Pelayo
(
Álvaro Pelayo(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:13:02
Ulrik Buchholtz
(
Ulrik Buchholtz(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:12:37
Toby Bartels
(
Toby Bartels(rev # 3)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:12:18
Thorsten Altenkirch
(
Thorsten Altenkirch(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:12:03
Thierry Coquand
(
Thierry Coquand(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:11:47
Taichi Uemura
(
Taichi Uemura(rev # 2)

history
)
by
Ali Caglayan
at October 17, 2018 at 11:11:33
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
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 spaces
by
Ali Caglayan
at October 12, 2018 at 10:54:21
« Previous
1
2
3
4
5
6
7
8
Next »