Homotopy Type Theory
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

type family
(
type family(rev # 7)

history
)
by
Richard Williamson
?
at September 20, 2018 at 18:13:30
category
(
category(rev # 6)

history
)
by
Ali Caglayan
at September 19, 2018 at 17:32:48
weak equivalence of precategories
(
weak equivalence of precategories(rev # 1)

history
)
by
Ali Caglayan
at September 19, 2018 at 17:30:57
Yoneda lemma
(
Yoneda lemma(rev # 3)

history
)
by
Ali Caglayan
at September 19, 2018 at 14:11:49
Category theory
(
Category theory(rev # 8)

history
)
by
Ali Caglayan
at September 19, 2018 at 14:00:33
Rezk completion
(
Rezk completion(rev # 3)

history
)
by
Ali Caglayan
at September 19, 2018 at 13:57:50
equivalence of precategories
(
equivalence of precategories(rev # 5)

history
)
by
Ali Caglayan
at September 19, 2018 at 13:56:57
fully faithful
(
fully faithful(rev # 4)

history
)
by
Ali Caglayan
at September 18, 2018 at 12:28:33
equivalence of precategories
(
equivalence of precategories(rev # 4)

history
)
by
Ali Caglayan
at September 18, 2018 at 12:26:57
split essentially surjective
(
split essentially surjective(rev # 1)

history
)
by
Ali Caglayan
at September 18, 2018 at 11:38:38
fully faithful
(
fully faithful(rev # 3)

history
)
by
Ali Caglayan
at September 18, 2018 at 11:21:28
fully faithful
(
fully faithful(rev # 2)

history
)
by
Ali Caglayan
at September 14, 2018 at 12:00:07
equivalence of precategories
(
equivalence of precategories(rev # 3)

history
)
by
Ali Caglayan
at September 14, 2018 at 11:52:31
homotopy groups of spheres
(
homotopy groups of spheres(rev # 10)

history
)
by
Ali Caglayan
at September 14, 2018 at 11:42:48
type theory
(
type theory(rev # 6)

history
)
by
Ali Caglayan
at September 14, 2018 at 11:35:45
HomePage
(
HomePage(rev # 29)

history
)
by
Ali Caglayan
at September 14, 2018 at 11:17:49
homotopy groups of spheres
(
homotopy groups of spheres(rev # 9)

history
)
by
Ali Caglayan
at September 14, 2018 at 08:22:35
homotopy groups of spheres
(
homotopy groups of spheres(rev # 8)

history
)
by
Urs Schreiber
at September 14, 2018 at 07:44:57
homotopy groups of spheres
(
homotopy groups of spheres(rev # 7)

history
)
by
Ali Caglayan
at September 14, 2018 at 06:39:42
homotopy groups of spheres
(
homotopy groups of spheres(rev # 6)

history
)
by
Ali Caglayan
at September 14, 2018 at 05:31:55
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 12)

history
)
by
Ali Caglayan
at September 14, 2018 at 05:10:20
hom functor
(
hom functor(rev # 3)

history
)
by
Richard Williamson
?
at September 9, 2018 at 14:19:35
functor
(
functor(rev # 8)

history
)
by
Mike Shulman
at September 7, 2018 at 14:03:31
functor
(
functor(rev # 7)

history
)
by
Urs Schreiber
at September 7, 2018 at 08:37:58
category
(
category(rev # 5)

history
)
by
Urs Schreiber
at September 7, 2018 at 08:29:46
functor
(
functor(rev # 6)

history
)
by
Urs Schreiber
at September 7, 2018 at 06:45:38
natural transformation
(
natural transformation(rev # 4)

history
)
by
Ali Caglayan
at September 6, 2018 at 18:11:34
Bas Spitters
(
Bas Spitters(rev # 2)

history
)
by
Ali Caglayan
at September 6, 2018 at 18:08:55
identity type
(
identity type(rev # 3)

history
)
by
Ali Caglayan
at September 6, 2018 at 18:07:24
higher inductive type
(
higher inductive type(rev # 9)

history
)
by
Ali Caglayan
at September 6, 2018 at 18:06:00
type family
(
type family(rev # 6)

history
)
by
Ali Caglayan
at September 6, 2018 at 18:01:43
functor
(
functor(rev # 5)

history
)
by
Ali Caglayan
at September 6, 2018 at 17:57:56
precategory
(
precategory(rev # 4)

history
)
by
Ali Caglayan
at September 6, 2018 at 17:55:23
Yoneda lemma
(
Yoneda lemma(rev # 2)

history
)
by
Ali Caglayan
at September 6, 2018 at 17:52:30
Category theory
(
Category theory(rev # 7)

history
)
by
Ali Caglayan
at September 6, 2018 at 17:50:55
hom functor
(
hom functor(rev # 2)

history
)
by
Ali Caglayan
at September 6, 2018 at 17:50:32
loop space of a wedge of circles
(
loop space of a wedge of circles(rev # 4)

history
)
by
Richard Williamson
?
at September 6, 2018 at 16:37:23
Yoneda lemma
(
Yoneda lemma(rev # 1)

history
)
by
Ali Caglayan
at September 6, 2018 at 15:45:04
hom functor
(
hom functor(rev # 1)

history
)
by
Ali Caglayan
at September 6, 2018 at 15:13:18
Category theory
(
Category theory(rev # 6)

history
)
by
Ali Caglayan
at September 6, 2018 at 14:57:10
left adjoint
(
left adjoint(rev # 4)

history
)
by
Ali Caglayan
at September 6, 2018 at 14:49:59
left adjoint
(
left adjoint(rev # 3)

history
)
by
Ali Caglayan
at September 6, 2018 at 14:49:58
product precategory
by
Ali Caglayan
at September 6, 2018 at 14:44:41
opposite precategory
by
Ali Caglayan
at September 6, 2018 at 13:57:29
transport
by
Ali Caglayan
at September 6, 2018 at 07:47:41
functor precategory
(
functor precategory(rev # 9)

history
)
by
Ali Caglayan
at September 6, 2018 at 07:46:59
identity type
(
identity type(rev # 2)

history
)
by
Ali Caglayan
at September 6, 2018 at 07:46:12
natural transformation
(
natural transformation(rev # 3)

history
)
by
Ali Caglayan
at September 6, 2018 at 07:23:06
left adjoint
(
left adjoint(rev # 2)

history
)
by
Ali Caglayan
at September 6, 2018 at 07:01:41
functor precategory
(
functor precategory(rev # 8)

history
)
by
Ali Caglayan
at September 6, 2018 at 06:55:38
functor precategory
(
functor precategory(rev # 7)

history
)
by
Ali Caglayan
at September 5, 2018 at 17:41:27
functor precategory
(
functor precategory(rev # 6)

history
)
by
Ali Caglayan
at September 5, 2018 at 17:33:55
left adjoint
(
left adjoint(rev # 1)

history
)
by
Ali Caglayan
at September 5, 2018 at 17:26:30
circle
(
circle(rev # 3)

history
)
by
Ali Caglayan
at September 5, 2018 at 17:01:04
type family
(
type family(rev # 5)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:53:29
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 11)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:53:05
higher inductive type
(
higher inductive type(rev # 8)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:52:44
identity type
(
identity type(rev # 1)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:51:07
functor precategory
(
functor precategory(rev # 5)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:50:48
Category theory
(
Category theory(rev # 5)

history
)
by
Ali Caglayan
at September 5, 2018 at 16:50:16
category
(
category(rev # 4)

history
)
by
Ali Caglayan
at September 5, 2018 at 14:26:28
functor precategory
(
functor precategory(rev # 4)

history
)
by
Ali Caglayan
at September 5, 2018 at 13:23:49
functor precategory
(
functor precategory(rev # 3)

history
)
by
Ali Caglayan
at September 5, 2018 at 10:26:18
type family
(
type family(rev # 4)

history
)
by
Ali Caglayan
at September 5, 2018 at 10:08:42
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 10)

history
)
by
Ali Caglayan
at September 5, 2018 at 09:57:51
functor precategory
(
functor precategory(rev # 2)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:25:11
HomePage
(
HomePage(rev # 28)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:17:19
Steve Awodey
(
Steve Awodey(rev # 1)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:14:02
Bas Spitters
(
Bas Spitters(rev # 1)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:13:22
pushout
(
pushout(rev # 3)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:11:31
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 9)

history
)
by
Ali Caglayan
at September 5, 2018 at 08:08:32
Synthetic homotopy theory
(
Synthetic homotopy theory(rev # 8)

history
)
by
Ali Caglayan
at September 4, 2018 at 18:58:47
functor
(
functor(rev # 4)

history
)
by
Ali Caglayan
at September 4, 2018 at 18:54:58
isomorphism in a precategory
(
isomorphism in a precategory(rev # 5)

history
)
by
Ali Caglayan
at September 4, 2018 at 18:26:22
functor
(
functor(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 17:22:35
functor precategory
(
functor precategory(rev # 1)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:30:07
natural transformation
(
natural transformation(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:29:40
functor
(
functor(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:28:42
category
(
category(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:27:21
isomorphism in a precategory
(
isomorphism in a precategory(rev # 4)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:26:34
precategory
(
precategory(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:25:53
Category theory
(
Category theory(rev # 4)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:25:29
Rezk completion
(
Rezk completion(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 15:22:26
Category theory
(
Category theory(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 14:25:40
isomorphism in a precategory
(
isomorphism in a precategory(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 14:24:04
natural transformation
(
natural transformation(rev # 1)

history
)
by
Ali Caglayan
at September 4, 2018 at 14:22:49
functor
(
functor(rev # 1)

history
)
by
Ali Caglayan
at September 4, 2018 at 14:22:31
precategory
(
precategory(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:56:10
Category theory
(
Category theory(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:42:24
category
(
category(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:30:31
isomorphism in a precategory
(
isomorphism in a precategory(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:28:34
Rezk completion
(
Rezk completion(rev # 1)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:20:48
type
(
type(rev # 2)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:03:15
semantics
(
semantics(rev # 14)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:02:56
type family
(
type family(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:02:36
type theory
(
type theory(rev # 5)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:02:17
axioms
(
axioms(rev # 3)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:02:02
higher inductive type
(
higher inductive type(rev # 7)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:01:37
dependent type
(
dependent type(rev # 4)

history
)
by
Ali Caglayan
at September 4, 2018 at 13:01:08
James construction
(
James construction(rev # 9)

history
)
by
Ali Caglayan
at September 4, 2018 at 12:59:39
« Previous
1
2
3
4
5
6
7
8
9
Next »