Homotopy Type Theory
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Topology > history
(
Topology > history(rev # 10)
|
history
)
by
Anonymous
?
at June 10, 2022 at 08:15:23
Topology > history
(
Topology > history(rev # 9)
|
history
)
by
Anonymous
?
at June 10, 2022 at 07:21:44
extended Dedekind cut > history
(
extended Dedekind cut > history(rev # 1)
|
history
)
by
Anonymous
?
at June 10, 2022 at 07:18:27
Dedekind real unit interval > history
(
Dedekind real unit interval > history(rev # 1)
|
history
)
by
Anonymous
?
at June 10, 2022 at 07:14:25
Analysis > history
(
Analysis > history(rev # 32)
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:07:38
real numbers > history
(
real numbers > history(rev # 16)
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:06:42
Order theory > history
(
Order theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:05:16
Discrete mathematics > history
(
Discrete mathematics > history(rev # 31)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:31:40
Analysis > history
(
Analysis > history(rev # 31)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:31:18
dyadic interval coalgebra > history
(
dyadic interval coalgebra > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:30:48
rational interval coalgebra > history
(
rational interval coalgebra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:29:38
decimal interval coalgebra > history
(
decimal interval coalgebra > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:26:22
Topology > history
(
Topology > history(rev # 8)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:19:37
Dedekind cut structure > history
(
Dedekind cut structure > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:09:25
Dedekind complete Archimedean ordered field > history
(
Dedekind complete Archimedean ordered field > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 22:02:14
sequentially Hausdorff space > history
(
sequentially Hausdorff space > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:50:02
Discrete mathematics > history
(
Discrete mathematics > history(rev # 30)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:48:50
Analysis > history
(
Analysis > history(rev # 30)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:48:25
net > history
(
net > history(rev # 12)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:47:49
preconvergence space > history
(
preconvergence space > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:45:48
limit of a net > history
(
limit of a net > history(rev # 17)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:44:40
Hausdorff space > history
(
Hausdorff space > history(rev # 10)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:41:50
Hausdorff ring > history
(
Hausdorff ring > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:40:14
directed type > history
(
directed type > history(rev # 7)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:38:18
limit of a sequence > history
(
limit of a sequence > history(rev # 1)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:35:58
sequential convergence space > history
(
sequential convergence space > history(rev # 1)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:31:45
uniformly continuous function > history
(
uniformly continuous function > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:28:44
real numbers > history
(
real numbers > history(rev # 15)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:22:42
HoTT book real numbers > history
(
HoTT book real numbers > history(rev # 13)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:11:44
sequentially Cauchy complete Archimedean ordered field > history
(
sequentially Cauchy complete Archimedean ordered field > history(rev # 1)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:11:09
Cauchy sequence > history
(
Cauchy sequence > history(rev # 1)
|
history
)
by
Anonymous
?
at June 9, 2022 at 21:07:52
Discrete mathematics > history
(
Discrete mathematics > history(rev # 29)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:54:23
Cauchy real numbers (disambiguation) > history
(
Cauchy real numbers (disambiguation) > history(rev # 7)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:53:25
Cauchy complete Archimedean ordered field > history
(
Cauchy complete Archimedean ordered field > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:51:12
Cauchy net > history
(
Cauchy net > history(rev # 14)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:49:54
premetric space > history
(
premetric space > history(rev # 11)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:47:24
Cauchy structure > history
(
Cauchy structure > history(rev # 14)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:43:11
modulus of Cauchy convergence > history
(
modulus of Cauchy convergence > history(rev # 5)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:40:48
Cauchy approximation > history
(
Cauchy approximation > history(rev # 13)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:38:37
Eudoxus real numbers > history
(
Eudoxus real numbers > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:24:37
infinite decimal representation of a unit interval > history
(
infinite decimal representation of a unit interval > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:17:12
pre-algebra real numbers > history
(
pre-algebra real numbers > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:11:43
modulated Cauchy real numbers > history
(
modulated Cauchy real numbers > history(rev # 12)
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:07:56
generalized Cauchy real numbers > history
(
generalized Cauchy real numbers > history(rev # 5)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:58:11
univalent universe > history
(
univalent universe > history(rev # 11)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:51:39
Order theory > history
(
Order theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:50:49
filter > history
(
filter > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:50:38
lower type > history
(
lower type > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:46:01
upper type > history
(
upper type > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:44:51
monotonic function > history
(
monotonic function > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:38:09
antitonic function > history
(
antitonic function > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:36:29
opposite preorder > history
(
opposite preorder > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:34:00
Heyting algebra > history
(
Heyting algebra > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:23:54
directed-complete poset > history
(
directed-complete poset > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:21:09
enriched poset > history
(
enriched poset > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:20:47
omega-complete poset > history
(
omega-complete poset > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:16:03
Analysis > history
(
Analysis > history(rev # 29)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:09:46
partial function classifier > history
(
partial function classifier > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:09:19
Sierpinski space > history
(
Sierpinski space > history(rev # 7)
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:04:24
universe > history
(
universe > history(rev # 26)
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:17:05
type > history
(
type > history(rev # 11)
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:07:19
univalent universe > history
(
univalent universe > history(rev # 10)
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:00:03
function type > history
(
function type > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:46:39
dependent type > history
(
dependent type > history(rev # 5)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:44:18
type theory > history
(
type theory > history(rev # 11)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:41:46
Book HoTT > history
(
Book HoTT > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:38:13
function extensionality > history
(
function extensionality > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:35:15
axioms > history
(
axioms > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:33:36
homotopy > history
(
homotopy > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:31:19
Logic > history
(
Logic > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:50:26
inductive-inductive type > history
(
inductive-inductive type > history(rev # 5)
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:46:03
HomePage
(
HomePage(rev # 59)
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:36:55
Large types > history
(
Large types > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:36:44
realizability > history
(
realizability > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:05:46
topos > history
(
topos > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:58:51
Uniqueness of Identity Proofs > history
(
Uniqueness of Identity Proofs > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:49:59
HomePage
(
HomePage(rev # 58)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:34:28
Calculating the fundamental group of the circle in homotopy type theory > history
(
Calculating the fundamental group of the circle in homotopy type theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:34:08
References > history
(
References > history(rev # 80)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:33:45
Eilenberg-MacLane Spaces in Homotopy Type Theory > history
(
Eilenberg-MacLane Spaces in Homotopy Type Theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:32:43
A Cubical Approach to Synthetic Homotopy Theory > history
(
A Cubical Approach to Synthetic Homotopy Theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:26:48
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory > history
(
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:05:29
Synthetic Cohomology in Homotopy Type Theory > history
(
Synthetic Cohomology in Homotopy Type Theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:58:16
On the homotopy groups of spheres in homotopy type theory > history
(
On the homotopy groups of spheres in homotopy type theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:56:22
Higher-Dimensional Types in the Mechanization of Homotopy Theory > history
(
Higher-Dimensional Types in the Mechanization of Homotopy Theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:52:34
The real projective spaces in homotopy type theory > history
(
The real projective spaces in homotopy type theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:44:44
Homotopy limits in type theory > history
(
Homotopy limits in type theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:37:57
πn(Sn) in Homotopy Type Theory > history
(
πn(Sn) in Homotopy Type Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:37:04
Calculating the fundamental group of the circle in homotopy type theory > history
(
Calculating the fundamental group of the circle in homotopy type theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:35:08
Covering Spaces in Homotopy Type Theory > history
(
Covering Spaces in Homotopy Type Theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 13:33:14
References > history
(
References > history(rev # 79)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:57:44
Higher Groups in Homotopy Type Theory > history
(
Higher Groups in Homotopy Type Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:57:36
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history
(
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:48:55
Cellular Cohomology in Homotopy Type Theory > history
(
Cellular Cohomology in Homotopy Type Theory > history(rev # 2)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:46:11
The join construction > history
(
The join construction > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:42:26
Univalent categories and the Rezk completion > history
(
Univalent categories and the Rezk completion > history(rev # 3)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:27:24
Carlo Angiuli > history
(
Carlo Angiuli > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:11:37
Localization in Homotopy Type Theory > history
(
Localization in Homotopy Type Theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:06:51
Modalities in homotopy type theory > history
(
Modalities in homotopy type theory > history(rev # 4)
|
history
)
by
Anonymous
?
at June 9, 2022 at 12:04:23
Higher algebra > history
(
Higher algebra > history(rev # 34)
|
history
)
by
Anonymous
?
at June 9, 2022 at 11:11:17
« Previous
1
2
3
4
5
6
7
8
9
10
Next »