Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Andrea Vezzosi
(
Andrea Vezzosi(rev # 3)

history
)
by
Urs Schreiber
at July 16, 2019 at 18:37:40
limited principle of omniscience
(
limited principle of omniscience(rev # 2)

history
)
by
Urs Schreiber
at June 20, 2019 at 12:11:42
References
(
References(rev # 71)

history
)
by
Ali Caglayan
at April 15, 2019 at 22:10:53
References
(
References(rev # 70)

history
)
by
Ali Caglayan
at April 1, 2019 at 03:39:56
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 14)

history
)
by
Ali Caglayan
at March 16, 2019 at 19:46:08
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 15)

history
)
by
Urs Schreiber
at March 13, 2019 at 07:16:31
References
(
References(rev # 69)

history
)
by
steveawodey
?
at March 12, 2019 at 16:31:54
References
(
References(rev # 68)

history
)
by
Ali Caglayan
at March 10, 2019 at 23:38:49
References
(
References(rev # 67)

history
)
by
Ali Caglayan
at February 19, 2019 at 16:41:08
loop space of a wedge of circles
(
loop space of a wedge of circles(rev # 5)

history
)
by
Ali Caglayan
at February 19, 2019 at 16:37:55
The join construction
(
The join construction(rev # 2)

history
)
by
Ali Caglayan
at February 19, 2019 at 16:34:07
A mechanization of the BlakersMassey connectivity theorem in Homotopy Type Theory
(
A mechanization of the BlakersMassey connectivity theorem in Homotopy Type Theory(rev # 2)

history
)
by
Ali Caglayan
at February 19, 2019 at 16:32:56
References
(
References(rev # 66)

history
)
by
Ali Caglayan
at February 19, 2019 at 09:47:18
A mechanization of the BlakersMassey connectivity theorem in Homotopy Type Theory
(
A mechanization of the BlakersMassey connectivity theorem in Homotopy Type Theory(rev # 1)

history
)
by
Ali Caglayan
at February 19, 2019 at 09:44:36
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 13)

history
)
by
Leo
?
at February 16, 2019 at 08:39:32
spheres
(
spheres(rev # 2)

history
)
by
Mike Shulman
at February 14, 2019 at 15:19:40
join
by
Ali Caglayan
at February 14, 2019 at 12:00:15
empty type
by
Ali Caglayan
at February 14, 2019 at 11:56:34
The join construction
(
The join construction(rev # 1)

history
)
by
Ali Caglayan
at February 14, 2019 at 11:39:20
References
(
References(rev # 65)

history
)
by
Ali Caglayan
at February 14, 2019 at 10:24:12
A Cubical Approach to Synthetic Homotopy Theory
by
Ali Caglayan
at February 14, 2019 at 10:15:35
homotopy groups of spheres
(
homotopy groups of spheres(rev # 18)

history
)
by
Ali Caglayan
at February 14, 2019 at 06:14:33
spheres
(
spheres(rev # 1)

history
)
by
Ali Caglayan
at February 14, 2019 at 03:46:26
HigherDimensional Types in the Mechanization of Homotopy Theory
by
Ali Caglayan
at February 14, 2019 at 03:39:12
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
(
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory(rev # 2)

history
)
by
Ali Caglayan
at February 14, 2019 at 03:31:10
smash product
(
smash product(rev # 7)

history
)
by
Ali Caglayan
at February 14, 2019 at 03:28:55
smash product
(
smash product(rev # 6)

history
)
by
Anonymous
?
at February 14, 2019 at 03:04:50
wild category
(
wild category(rev # 2)

history
)
by
Mike Shulman
at February 10, 2019 at 18:18:04
set
by
Ali Caglayan
at January 28, 2019 at 16:34:46
wild category
(
wild category(rev # 1)

history
)
by
Mike Shulman
at January 28, 2019 at 16:11:23
References
(
References(rev # 64)

history
)
by
Mike Shulman
at January 25, 2019 at 19:50:39
circle
(
circle(rev # 7)

history
)
by
Ali Caglayan
at January 19, 2019 at 15:35:09
circle
(
circle(rev # 6)

history
)
by
Todd Trimble
?
at January 19, 2019 at 15:20:20
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 12)

history
)
by
Ali Caglayan
at January 19, 2019 at 14:06:38
Seifertvan Kampen theorem
by
Ali Caglayan
at January 19, 2019 at 14:05:25
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 20)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:41:06
EilenbergMacLane space
(
EilenbergMacLane space(rev # 2)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:39:40
localization
(
localization(rev # 7)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:30:40
circle
(
circle(rev # 5)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:20:08
Univalent categories and the Rezk completion
(
Univalent categories and the Rezk completion(rev # 2)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:11:40
Localization in Homotopy Type Theory
(
Localization in Homotopy Type Theory(rev # 3)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:11:09
Higher Groups in Homotopy Type Theory
by
Ali Caglayan
at January 19, 2019 at 13:10:56
HoTT book
(
HoTT book(rev # 5)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:10:08
Cellular Cohomology in Homotopy Type Theory
by
Ali Caglayan
at January 19, 2019 at 13:08:58
Modalities in homotopy type theory
(
Modalities in homotopy type theory(rev # 3)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:06:09
desired articles
(
desired articles(rev # 3)

history
)
by
Ali Caglayan
at January 19, 2019 at 13:03:56
homotopy groups of spheres
(
homotopy groups of spheres(rev # 17)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:54:53
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 11)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:54:05
empty
by
Ali Caglayan
at January 19, 2019 at 12:45:28
type
(
type(rev # 4)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:44:23
type theory
(
type theory(rev # 9)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:43:59
type theory
(
type theory(rev # 8)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:42:49
HomePage
(
HomePage(rev # 32)

history
)
by
Ali Caglayan
at January 19, 2019 at 12:40:25
wedge sum
(
wedge sum(rev # 5)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:54:32
wedge sum
(
wedge sum(rev # 4)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:54:06
type family
(
type family(rev # 9)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:49:03
Hspace
(
Hspace(rev # 8)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:46:09
type
(
type(rev # 3)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:26:52
type theory
(
type theory(rev # 7)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:26:12
function type
(
function type(rev # 2)

history
)
by
Ali Caglayan
at January 19, 2019 at 10:22:54
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 12)

history
)
by
Ali Caglayan
at January 10, 2019 at 07:17:58
Peter LeFanu Lumsdaine
(
Peter LeFanu Lumsdaine(rev # 3)

history
)
by
Ali Caglayan
at January 1, 2019 at 21:09:51
hopf fibration
(
hopf fibration(rev # 7)

history
)
by
Ali Caglayan
at January 1, 2019 at 21:08:54
Hspace
(
Hspace(rev # 7)

history
)
by
Ali Caglayan
at January 1, 2019 at 20:51:23
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 11)

history
)
by
Ali Caglayan
at December 25, 2018 at 07:15:42
Eric Finster, Towards Higher Universal Algebra in Type Theory
(
Eric Finster, Towards Higher Universal Algebra in Type Theory(rev # 10)

history
)
by
Ali Caglayan
at December 24, 2018 at 18:44:09
Events
(
Events(rev # 8)

history
)
by
Ali Caglayan
at December 21, 2018 at 12:36:55
Events
(
Events(rev # 7)

history
)
by
Ulrik Buchholtz
at December 21, 2018 at 09:35:57
Events
(
Events(rev # 6)

history
)
by
David Corfield
?
at December 21, 2018 at 08:51:01
Events
(
Events(rev # 5)

history
)
by
Bas Spitters
at December 21, 2018 at 08:37:43
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
« Previous
1
2
3
4
5
6
7
8
9
Next »