Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

circle
(
circle(rev # 1)

history
)
by
Mike Shulman
at May 15, 2014 at 08:38:29
higher inductive type
(
higher inductive type(rev # 4)

history
)
by
Mike Shulman
at May 15, 2014 at 08:32:07
Resources
(
Resources(rev # 3)

history
)
by
Alexis Hazell
?
at May 15, 2014 at 01:02:51
Resources
(
Resources(rev # 2)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 22:42:32
HomePage
(
HomePage(rev # 8)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 20:23:30
Homotopy Type System
(
Homotopy Type System(rev # 7)

history
)
by
Mike Shulman
at May 14, 2014 at 11:49:12
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 6)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 01:56:10
dependent type
(
dependent type(rev # 3)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 01:55:04
Resources
(
Resources(rev # 1)

history
)
by
Steve Awodey
at May 14, 2014 at 01:39:15
MartinLöf Type Theory
(
MartinLöf Type Theory(rev # 3)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 00:39:46
type theory
(
type theory(rev # 2)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 00:37:50
dependent type
(
dependent type(rev # 2)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 00:35:56
universe
(
universe(rev # 7)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 00:27:52
type
(
type(rev # 1)

history
)
by
Alexis Hazell
?
at May 14, 2014 at 00:26:55
Per MartinLöf
(
Per MartinLöf(rev # 1)

history
)
by
Alexis Hazell
?
at May 13, 2014 at 01:00:36
HomePage
(
HomePage(rev # 7)

history
)
by
Alexis Hazell
?
at May 13, 2014 at 00:41:40
loop space of a wedge of circles
(
loop space of a wedge of circles(rev # 2)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:33:27
model invariance problem
(
model invariance problem(rev # 2)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:27:44
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 5)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:24:49
MartinLöf Type Theory
(
MartinLöf Type Theory(rev # 2)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:22:18
universe
(
universe(rev # 6)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:17:30
type theories
(
type theories(rev # 6)

history
)
by
Alexis Hazell
?
at May 10, 2014 at 20:15:33
type theory
(
type theory(rev # 1)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 22:04:43
type theories
(
type theories(rev # 5)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 22:03:17
dependent type
(
dependent type(rev # 1)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:56:20
universe
(
universe(rev # 5)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:55:37
Agda
(
Agda(rev # 3)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:50:00
open problems
(
open problems(rev # 24)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:49:03
inductiverecursive type
(
inductiverecursive type(rev # 1)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:47:47
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 4)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 21:32:43
Homotopy Type System
(
Homotopy Type System(rev # 6)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:40:26
Categorical Homotopy Type Theory
(
Categorical Homotopy Type Theory(rev # 2)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:33:26
Agda
(
Agda(rev # 2)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:20:53
type theories
(
type theories(rev # 4)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:20:14
MartinLöf Type Theory
(
MartinLöf Type Theory(rev # 1)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:19:32
open problems
(
open problems(rev # 23)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:18:10
definitional equality
(
definitional equality(rev # 7)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:07:40
universe
(
universe(rev # 4)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:04:39
loop space
(
loop space(rev # 2)

history
)
by
Alexis Hazell
?
at May 9, 2014 at 02:02:50
type theories
(
type theories(rev # 3)

history
)
by
Steve Awodey
at May 9, 2014 at 00:41:23
HomePage
(
HomePage(rev # 6)

history
)
by
Steve Awodey
at May 9, 2014 at 00:37:51
HoTT book
(
HoTT book(rev # 1)

history
)
by
Steve Awodey
at May 9, 2014 at 00:36:58
Homotopy Type System
(
Homotopy Type System(rev # 5)

history
)
by
Alexis Hazell
?
at May 4, 2014 at 23:19:11
Homotopy Type System
(
Homotopy Type System(rev # 4)

history
)
by
Mike Shulman
at May 4, 2014 at 06:35:08
Homotopy Type System
(
Homotopy Type System(rev # 3)

history
)
by
Mike Shulman
at May 3, 2014 at 21:00:01
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 3)

history
)
by
Mike Shulman
at May 3, 2014 at 12:29:23
univalence axiom
(
univalence axiom(rev # 7)

history
)
by
Mike Shulman
at May 3, 2014 at 12:28:55
universe
(
universe(rev # 3)

history
)
by
Mike Shulman
at May 3, 2014 at 12:28:32
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 2)

history
)
by
Mike Shulman
at May 2, 2014 at 13:54:28
universe
(
universe(rev # 2)

history
)
by
Mike Shulman
at May 2, 2014 at 12:18:36
elementary (infinity,1)topos
by
Bas Spitters
at April 25, 2014 at 02:59:11
HomePage
(
HomePage(rev # 5)

history
)
by
Martin Escardo
?
at April 18, 2014 at 12:22:25
open problems
(
open problems(rev # 22)

history
)
by
Bas Spitters
at April 16, 2014 at 23:23:37
open problems
(
open problems(rev # 21)

history
)
by
Bas Spitters
at April 6, 2014 at 23:10:28
David Roberts
(
David Roberts(rev # 1)

history
)
by
David Roberts
at March 31, 2014 at 18:07:58
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 3)

history
)
by
David Roberts
at March 31, 2014 at 18:06:55
universe
(
universe(rev # 1)

history
)
by
Mike Shulman
at March 31, 2014 at 11:54:13
semantics
(
semantics(rev # 8)

history
)
by
Anonymous Coward
?
at March 24, 2014 at 12:53:56
semantics
(
semantics(rev # 7)

history
)
by
Steve Awodey
at March 24, 2014 at 08:59:24
Categorical Homotopy Type Theory
(
Categorical Homotopy Type Theory(rev # 1)

history
)
by
Steve Awodey
at March 24, 2014 at 08:54:17
higher inductive type
(
higher inductive type(rev # 3)

history
)
by
Mike Shulman
at March 17, 2014 at 09:57:25
Agda
(
Agda(rev # 1)

history
)
by
Mike Shulman
at March 17, 2014 at 08:45:43
Homotopy Type System
(
Homotopy Type System(rev # 2)

history
)
by
Mike Shulman
at March 11, 2014 at 06:46:49
open problems
(
open problems(rev # 20)

history
)
by
Mike Shulman
at March 11, 2014 at 06:33:57
model invariance problem
(
model invariance problem(rev # 1)

history
)
by
Mike Shulman
at March 11, 2014 at 06:33:43
semantics
(
semantics(rev # 6)

history
)
by
Mike Shulman
at March 9, 2014 at 05:40:06
open problems
(
open problems(rev # 19)

history
)
by
Steve Awodey
at March 8, 2014 at 18:51:15
open problems
(
open problems(rev # 18)

history
)
by
Mike Shulman
at March 7, 2014 at 19:01:19
semantics
(
semantics(rev # 5)

history
)
by
Mike Shulman
at March 7, 2014 at 19:01:00
semantics
(
semantics(rev # 4)

history
)
by
Alexis Hazell
?
at March 6, 2014 at 19:59:40
semantics
(
semantics(rev # 3)

history
)
by
Anonymous Coward
?
at March 6, 2014 at 19:58:32
semisimplicial types
(
semisimplicial types(rev # 2)

history
)
by
Alexis Hazell
?
at March 6, 2014 at 19:46:46
type theories
(
type theories(rev # 2)

history
)
by
Alexis Hazell
?
at March 6, 2014 at 19:06:40
definitional equality
(
definitional equality(rev # 6)

history
)
by
Alexis Hazell
?
at March 6, 2014 at 19:06:08
univalence axiom
(
univalence axiom(rev # 6)

history
)
by
Alexis Hazell
?
at March 6, 2014 at 18:55:42
semantics
(
semantics(rev # 2)

history
)
by
Steve Awodey
at March 6, 2014 at 18:18:22
semantics
(
semantics(rev # 1)

history
)
by
Anonymous Coward
?
at March 6, 2014 at 18:17:34
open problems
(
open problems(rev # 17)

history
)
by
Anonymous Coward
?
at March 6, 2014 at 18:16:35
semisimplicial types
(
semisimplicial types(rev # 1)

history
)
by
Mike Shulman
at March 6, 2014 at 15:41:29
open problems
(
open problems(rev # 16)

history
)
by
Mike Shulman
at March 6, 2014 at 15:41:00
Homotopy Type System
(
Homotopy Type System(rev # 1)

history
)
by
Mike Shulman
at March 6, 2014 at 15:37:50
type theories
(
type theories(rev # 1)

history
)
by
Mike Shulman
at March 6, 2014 at 15:31:07
HomePage
(
HomePage(rev # 4)

history
)
by
Mike Shulman
at March 6, 2014 at 15:28:44
open problems
(
open problems(rev # 15)

history
)
by
Bas Spitters
at March 5, 2014 at 09:30:00
loop space
(
loop space(rev # 1)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 23:18:29
definitional equality
(
definitional equality(rev # 5)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 21:47:22
univalence axiom
(
univalence axiom(rev # 5)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 02:23:58
definitional equality
(
definitional equality(rev # 4)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 01:49:18
higher inductive type
(
higher inductive type(rev # 2)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 01:12:27
definitional equality
(
definitional equality(rev # 3)

history
)
by
Alexis Hazell
?
at March 4, 2014 at 00:34:34
definitional equality
(
definitional equality(rev # 2)

history
)
by
Mike Shulman
at March 3, 2014 at 14:20:03
univalence axiom
(
univalence axiom(rev # 4)

history
)
by
Mike Shulman
at March 3, 2014 at 14:14:01
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 2)

history
)
by
Mike Shulman
at March 3, 2014 at 14:11:53
homotopy groups of spheres
(
homotopy groups of spheres(rev # 3)

history
)
by
Mike Shulman
at March 3, 2014 at 14:10:44
homotopy groups of spheres
(
homotopy groups of spheres(rev # 2)

history
)
by
Mike Shulman
at March 3, 2014 at 13:34:13
homotopy groups of spheres
(
homotopy groups of spheres(rev # 1)

history
)
by
Alexis Hazell
?
at March 2, 2014 at 19:55:58
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 1)

history
)
by
Alexis Hazell
?
at March 2, 2014 at 19:54:40
definitional equality
(
definitional equality(rev # 1)

history
)
by
Alexis Hazell
?
at March 2, 2014 at 19:24:57
open problems
(
open problems(rev # 14)

history
)
by
Bas Spitters
at February 28, 2014 at 04:54:49
open problems
(
open problems(rev # 13)

history
)
by
Bas Spitters
at February 28, 2014 at 04:09:38
« Previous
1
2
3
4
5
6
7
8
9
Next »