Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

open problems
(
open problems(rev # 11)

history
)
by
Mike Shulman
at February 22, 2014 at 04:50:37
open problems
(
open problems(rev # 10)

history
)
by
Mike Shulman
at February 21, 2014 at 20:11:40
open problems
(
open problems(rev # 9)

history
)
by
Mike Shulman
at February 21, 2014 at 08:21:26
open problems
(
open problems(rev # 8)

history
)
by
Urs Schreiber
at February 21, 2014 at 00:33:55
open problems
(
open problems(rev # 7)

history
)
by
Steve Awodey
?
at February 20, 2014 at 18:12:37
Toby Bartels
(
Toby Bartels(rev # 1)

history
)
by
Toby Bartels
at February 20, 2014 at 10:28:22
open problems
(
open problems(rev # 6)

history
)
by
Toby Bartels
at February 20, 2014 at 10:25:58
univalence axiom
(
univalence axiom(rev # 3)

history
)
by
Steve Awodey
?
at February 19, 2014 at 19:01:59
open problems
(
open problems(rev # 5)

history
)
by
Steve Awodey
?
at February 19, 2014 at 16:00:34
about
(
about(rev # 3)

history
)
by
Steve Awodey
?
at February 19, 2014 at 15:59:36
open problems
(
open problems(rev # 4)

history
)
by
Mike Shulman
at February 19, 2014 at 13:03:16
open problems
(
open problems(rev # 3)

history
)
by
Steve Awodey
?
at February 19, 2014 at 12:57:50
univalence axiom
(
univalence axiom(rev # 2)

history
)
by
Steve Awodey
?
at February 19, 2014 at 12:56:43
about
(
about(rev # 2)

history
)
by
Steve Awodey
?
at February 19, 2014 at 12:49:51
open problems
(
open problems(rev # 2)

history
)
by
Steve Awodey
?
at February 19, 2014 at 11:40:39
about
(
about(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 13:14:32
HomePage
(
HomePage(rev # 3)

history
)
by
Mike Shulman
at February 18, 2014 at 13:12:02
open problems
(
open problems(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 13:08:19
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 12:42:18
univalence axiom
(
univalence axiom(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 12:40:14
higher inductive type
(
higher inductive type(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 12:39:14
loop space of a wedge of circles
(
loop space of a wedge of circles(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 12:37:55
HomePage
(
HomePage(rev # 2)

history
)
by
Mike Shulman
at February 18, 2014 at 12:10:01
Michael Shulman
(
Michael Shulman(rev # 1)

history
)
by
Mike Shulman
at February 18, 2014 at 12:06:02
HomePage
(
HomePage(rev # 1)

history
)
by
Andrew Stacey
?
at February 17, 2014 at 04:19:41
« Previous
1
2
3
4
5
6
7
8
9
Next »