Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

HoTT MiniCourse
(
HoTT MiniCourse(rev # 10)

history
)
by
Marc Bezem
?
at March 20, 2016 at 12:05:58
References
(
References(rev # 15)

history
)
by
Mike Shulman
at March 18, 2016 at 10:23:46
References
(
References(rev # 14)

history
)
by
Mike Shulman
at March 17, 2016 at 15:47:26
HoTT MiniCourse
(
HoTT MiniCourse(rev # 9)

history
)
by
Marc Bezem
?
at March 15, 2016 at 21:54:47
HoTT MiniCourse
(
HoTT MiniCourse(rev # 8)

history
)
by
Marc Bezem
?
at March 11, 2016 at 22:30:50
HoTT MiniCourse
(
HoTT MiniCourse(rev # 7)

history
)
by
Marc Bezem
?
at March 11, 2016 at 16:20:11
HoTT MiniCourse
(
HoTT MiniCourse(rev # 6)

history
)
by
Marc Bezem
?
at March 11, 2016 at 12:30:54
HoTT MiniCourse
(
HoTT MiniCourse(rev # 5)

history
)
by
Marc Bezem
?
at March 8, 2016 at 11:12:35
HoTT MiniCourse
(
HoTT MiniCourse(rev # 4)

history
)
by
Marc Bezem
?
at March 4, 2016 at 16:55:36
HoTT MiniCourse
(
HoTT MiniCourse(rev # 3)

history
)
by
Marc Bezem
?
at February 29, 2016 at 22:44:17
HoTT MiniCourse
(
HoTT MiniCourse(rev # 2)

history
)
by
Marc Bezem
?
at February 29, 2016 at 19:23:53
HoTT MiniCourse
(
HoTT MiniCourse(rev # 1)

history
)
by
Steve Awodey
at February 29, 2016 at 18:39:58
CMU local activities
(
CMU local activities(rev # 1)

history
)
by
Steve Awodey
at February 29, 2016 at 18:39:08
Resources
(
Resources(rev # 7)

history
)
by
Steve Awodey
at February 29, 2016 at 18:38:46
HomePage
(
HomePage(rev # 17)

history
)
by
Steve Awodey
at February 29, 2016 at 18:31:43
HomePage
(
HomePage(rev # 16)

history
)
by
Steveawodey
?
at February 29, 2016 at 18:29:31
References
(
References(rev # 13)

history
)
by
Mike Shulman
at February 26, 2016 at 15:19:19
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 8)

history
)
by
David Roberts
at February 15, 2016 at 19:30:46
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 7)

history
)
by
David Roberts
at February 14, 2016 at 17:55:06
spectral sequence
(
spectral sequence(rev # 4)

history
)
by
Mike Shulman
at February 12, 2016 at 12:51:56
spectral sequence
(
spectral sequence(rev # 3)

history
)
by
Mike Shulman
at February 11, 2016 at 18:27:25
spectral sequence
(
spectral sequence(rev # 2)

history
)
by
Mike Shulman
at February 11, 2016 at 17:50:13
spectral sequence
(
spectral sequence(rev # 1)

history
)
by
Mike Shulman
at February 11, 2016 at 11:43:55
open problems
(
open problems(rev # 37)

history
)
by
David Roberts
at January 24, 2016 at 06:51:18
universe
(
universe(rev # 19)

history
)
by
Bas Spitters
at January 22, 2016 at 17:20:35
References
(
References(rev # 12)

history
)
by
Chris Kapulkin
at November 9, 2015 at 23:42:19
References
(
References(rev # 11)

history
)
by
Chris Kapulkin
at November 8, 2015 at 23:02:09
References
(
References(rev # 10)

history
)
by
steveawodey
?
at November 7, 2015 at 16:12:05
open problems
(
open problems(rev # 36)

history
)
by
Bas Spitters
at October 9, 2015 at 06:37:41
DMV2015
(
DMV2015(rev # 15)

history
)
by
Tamara von Glehn
?
at September 30, 2015 at 11:16:35
DMV2015
(
DMV2015(rev # 14)

history
)
by
Bas Spitters
at September 29, 2015 at 07:46:06
DMV2015
(
DMV2015(rev # 13)

history
)
by
Bas Spitters
at September 28, 2015 at 12:06:00
DMV2015
(
DMV2015(rev # 12)

history
)
by
Thomas Streicher
?
at September 27, 2015 at 15:58:06
DMV2015
(
DMV2015(rev # 11)

history
)
by
Simon Huber
at September 27, 2015 at 08:40:42
DMV2015
(
DMV2015(rev # 10)

history
)
by
Peter Le Fanu Lumsdaine
at September 27, 2015 at 05:10:50
DMV2015
(
DMV2015(rev # 9)

history
)
by
Steve Awodey
at September 26, 2015 at 23:47:20
DMV2015
(
DMV2015(rev # 8)

history
)
by
Bas Spitters
at September 26, 2015 at 16:17:01
DMV2015
(
DMV2015(rev # 7)

history
)
by
Tamara von Glehn
?
at September 26, 2015 at 12:52:37
DMV2015
(
DMV2015(rev # 6)

history
)
by
Bas Spitters
at September 25, 2015 at 15:15:38
DMV2015
(
DMV2015(rev # 5)

history
)
by
Urs Schreiber
at September 25, 2015 at 11:18:56
Urs Schreiber
(
Urs Schreiber(rev # 1)

history
)
by
Urs Schreiber
at September 25, 2015 at 09:51:08
DMV2015
(
DMV2015(rev # 4)

history
)
by
Urs Schreiber
at September 25, 2015 at 09:50:31
DMV2015
(
DMV2015(rev # 3)

history
)
by
Urs Schreiber
at September 25, 2015 at 07:11:01
DMV2015
(
DMV2015(rev # 2)

history
)
by
Bas Spitters
at September 25, 2015 at 04:32:56
DMV2015
(
DMV2015(rev # 1)

history
)
by
Bas Spitters
at September 24, 2015 at 11:25:22
References
(
References(rev # 9)

history
)
by
Mike Shulman
at September 10, 2015 at 23:24:10
References
(
References(rev # 8)

history
)
by
Mike Shulman
at September 1, 2015 at 17:41:55
References
(
References(rev # 7)

history
)
by
Chris Kapulkin
at August 14, 2015 at 07:57:37
References
(
References(rev # 6)

history
)
by
Chris Kapulkin
at August 13, 2015 at 17:34:03
References
(
References(rev # 5)

history
)
by
Mike Shulman
at August 12, 2015 at 22:49:22
HomePage
(
HomePage(rev # 15)

history
)
by
Bas Spitters
at July 14, 2015 at 07:57:26
open problems
(
open problems(rev # 35)

history
)
by
Bas Spitters
at July 13, 2015 at 07:53:07
open problems
(
open problems(rev # 34)

history
)
by
Bas Spitters
at July 13, 2015 at 07:01:10
References
(
References(rev # 4)

history
)
by
Mike Shulman
at June 29, 2015 at 14:52:11
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 14)

history
)
by
Bas Spitters
at June 24, 2015 at 05:40:27
universe
(
universe(rev # 18)

history
)
by
Bas Spitters
at June 24, 2015 at 05:38:35
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 13)

history
)
by
Mike Shulman
at June 24, 2015 at 00:34:25
universe
(
universe(rev # 17)

history
)
by
Mike Shulman
at June 24, 2015 at 00:34:23
semisimplicial types
(
semisimplicial types(rev # 3)

history
)
by
Anonymous
?
at June 17, 2015 at 18:36:03
universe
(
universe(rev # 16)

history
)
by
Bas Spitters
at June 4, 2015 at 04:28:30
References
(
References(rev # 3)

history
)
by
David Roberts
at April 23, 2015 at 03:10:18
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 12)

history
)
by
Urs Schreiber
at April 13, 2015 at 11:13:02
References
(
References(rev # 2)

history
)
by
Mike Shulman
at March 28, 2015 at 13:01:53
algebraic formulation of dependent type theory
(
algebraic formulation of dependent type theory(rev # 2)

history
)
by
Bas Spitters
at March 15, 2015 at 00:37:33
realizability
(
realizability(rev # 2)

history
)
by
Bas Spitters
at March 15, 2015 at 00:01:43
algebraic formulation of dependent type theory
(
algebraic formulation of dependent type theory(rev # 1)

history
)
by
Bas Spitters
at March 14, 2015 at 17:26:33
realizability
(
realizability(rev # 1)

history
)
by
Bas Spitters
at March 14, 2015 at 16:59:43
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 6)

history
)
by
ecavallo
?
at March 1, 2015 at 01:13:41
HomePage
(
HomePage(rev # 14)

history
)
by
Floris van Doorn
at February 28, 2015 at 16:23:16
HomePage
(
HomePage(rev # 13)

history
)
by
Mike Shulman
at February 11, 2015 at 05:35:03
open problems
(
open problems(rev # 33)

history
)
by
Mike Shulman
at February 10, 2015 at 04:20:14
open problems
(
open problems(rev # 32)

history
)
by
Bas Spitters
at January 20, 2015 at 16:33:22
equivalence of precategories
(
equivalence of precategories(rev # 1)

history
)
by
Bas Spitters
at January 18, 2015 at 03:34:02
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 5)

history
)
by
Bas Spitters
at January 18, 2015 at 03:32:27
Carlo Angiuli
(
Carlo Angiuli(rev # 1)

history
)
by
Carlo Angiuli
at January 17, 2015 at 20:44:07
Formalized Homotopy Theory
(
Formalized Homotopy Theory(rev # 4)

history
)
by
Carlo Angiuli
at January 17, 2015 at 20:34:08
open problems
(
open problems(rev # 31)

history
)
by
Bas Spitters
at January 16, 2015 at 21:44:53
HomePage
(
HomePage(rev # 12)

history
)
by
Bas Spitters
at January 16, 2015 at 20:58:52
proof theoretic strength of univalent type theory plus HITs
(
proof theoretic strength of univalent type theory plus HITs(rev # 2)

history
)
by
Ulrik Buchholtz
at January 15, 2015 at 20:44:12
proof theoretic strength of univalent type theory plus HITs
(
proof theoretic strength of univalent type theory plus HITs(rev # 1)

history
)
by
Bas Spitters
at January 12, 2015 at 19:27:53
open problems
(
open problems(rev # 30)

history
)
by
Bas Spitters
at January 12, 2015 at 18:48:11
HomePage
(
HomePage(rev # 11)

history
)
by
Anonymous
?
at December 15, 2014 at 02:57:22
References
(
References(rev # 1)

history
)
by
Anonymous
?
at December 4, 2014 at 20:23:48
HomePage
(
HomePage(rev # 10)

history
)
by
Anonymous
?
at December 4, 2014 at 20:01:26
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 11)

history
)
by
Urs Schreiber
at November 21, 2014 at 15:50:03
universe
(
universe(rev # 15)

history
)
by
Urs Schreiber
at November 21, 2014 at 15:49:40
Agda
(
Agda(rev # 6)

history
)
by
Piyush P Kurur
?
at November 16, 2014 at 16:29:38
Agda
(
Agda(rev # 5)

history
)
by
Piyush P Kurur
?
at November 13, 2014 at 10:31:03
Agda
(
Agda(rev # 4)

history
)
by
Piyush P Kurur
?
at November 13, 2014 at 07:41:28
open problems
(
open problems(rev # 29)

history
)
by
Jason Gross
at November 10, 2014 at 06:39:35
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 10)

history
)
by
Urs Schreiber
at October 24, 2014 at 08:16:09
universe
(
universe(rev # 14)

history
)
by
Urs Schreiber
at October 23, 2014 at 14:03:47
Grothendieck (infinity,1)topos
by
Urs Schreiber
at October 22, 2014 at 03:09:48
universe
(
universe(rev # 13)

history
)
by
Urs Schreiber
at October 17, 2014 at 15:45:18
DenisCharles Cisinski
by
Urs Schreiber
at October 17, 2014 at 15:44:25
Cesare Gallozzi
by
Urs Schreiber
at October 17, 2014 at 15:43:02
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 9)

history
)
by
Urs Schreiber
at October 17, 2014 at 15:42:04
Homotopy Type System
(
Homotopy Type System(rev # 10)

history
)
by
Bas Spitters
at October 13, 2014 at 16:05:15
Homotopy Type System
(
Homotopy Type System(rev # 9)

history
)
by
Bas Spitters
at October 8, 2014 at 14:51:38
model of type theory in an (infinity,1)topos
(
model of type theory in an (infinity,1)topos(rev # 8)

history
)
by
Bas Spitters
at October 1, 2014 at 14:38:50
« Previous
1
2
3
4
5
6
7
8
9
Next »