Homotopy Type Theory
Latest Revisions
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
infinitesimal shape > history
(
infinitesimal shape > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:54:14
infinitely iterated inverse image > history
(
infinitely iterated inverse image > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:54:06
image > history
(
image > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:54:00
HoTT Mini-Course > history
(
HoTT Mini-Course > history(rev # 13)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:53:39
HomePage
(
HomePage(rev # 65)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:53:25
higher observational type theory > history
(
higher observational type theory > history(rev # 15)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:53:16
halving group > history
(
halving group > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:53:02
geometrically contractible space > history
(
geometrically contractible space > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:52:52
finite type > history
(
finite type > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:52:31
fiber > history
(
fiber > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:52:25
Events > history
(
Events > history(rev # 27)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:51:47
essentially small type > history
(
essentially small type > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:51:30
equivalence > history
(
equivalence > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:51:24
empty type > history
(
empty type > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:51:06
effective epic function > history
(
effective epic function > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:51:01
DMV2015 > history
(
DMV2015 > history(rev # 17)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:50:34
divisible group > history
(
divisible group > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:50:27
directed graph > history
(
directed graph > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:50:07
Differential geometry > history
(
Differential geometry > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:50:00
differential cohesive homotopy type theory > history
(
differential cohesive homotopy type theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:49:55
desired articles > history
(
desired articles > history(rev # 37)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:49:30
definitional equality > history
(
definitional equality > history(rev # 9)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:49:24
decidable universal quantifier > history
(
decidable universal quantifier > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:48:35
decidable subset > history
(
decidable subset > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:48:13
decidable strict order > history
(
decidable strict order > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:48:07
decidable setoid > history
(
decidable setoid > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:48:00
decidable set > history
(
decidable set > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:47:54
decidable preordered type > history
(
decidable preordered type > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:47:47
decidable open interval > history
(
decidable open interval > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:47:42
decidable existential quantifier > history
(
decidable existential quantifier > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:47:35
decidable directed graph > history
(
decidable directed graph > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:47:30
Discrete mathematics > history
(
Discrete mathematics > history(rev # 42)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:44:20
cone type > history
(
cone type > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:41:05
homotopy level > history
(
homotopy level > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:39:51
contractible type > history
(
contractible type > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:32:03
compact connected space > history
(
compact connected space > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:31:37
commutative ring > history
(
commutative ring > history(rev # 9)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:31:31
cohesive homotopy type theory > history
(
cohesive homotopy type theory > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:31:10
commutative algebra (ring theory) > history
(
commutative algebra (ring theory) > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:31:02
CMU local activities > history
(
CMU local activities > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:30:56
Cauchy sequence > history
(
Cauchy sequence > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:30:38
about > history
(
about > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:30:18
booleans > history
(
booleans > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:29:31
Bonn2018 > history
(
Bonn2018 > history(rev # 12)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:29:09
bilinear function > history
(
bilinear function > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:29:01
axiom of replacement > history
(
axiom of replacement > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:50
Archimedean ordered integral domain > history
(
Archimedean ordered integral domain > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:40
Archimedean ordered field > history
(
Archimedean ordered field > history(rev # 8)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:35
Archimedean ordered abelian group > history
(
Archimedean ordered abelian group > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:30
Analysis > history
(
Analysis > history(rev # 40)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:14
an axiomatization of the real numbers > history
(
an axiomatization of the real numbers > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:09
Algebra > history
(
Algebra > history(rev # 24)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:28:04
abelian group homomorphism > history
(
abelian group homomorphism > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:27:39
abelian group > history
(
abelian group > history(rev # 15)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:27:33
set > history
(
set > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:26:26
groupoid > history
(
groupoid > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:19:11
groupoid enriched in monoids > history
(
groupoid enriched in monoids > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:17:48
limit of a sequence > history
(
limit of a sequence > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:11:50
Discrete mathematics > history
(
Discrete mathematics > history(rev # 41)
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:11:04
Analysis > history
(
Analysis > history(rev # 39)
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:10:51
sequentially Hausdorff space > history
(
sequentially Hausdorff space > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:10:40
sequential convergence space > history
(
sequential convergence space > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:09:24
monic function > history
(
monic function > history(rev # 8)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:57:48
directed graph > history
(
directed graph > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:56:06
apartness relation > history
(
apartness relation > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:55:51
relation > history
(
relation > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:54:15
functional relation > history
(
functional relation > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:54:02
entire relation > history
(
entire relation > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:52:01
Algebra > history
(
Algebra > history(rev # 23)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:46:43
partial function > history
(
partial function > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:45:40
multivalued function > history
(
multivalued function > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:44:15
effective epic function > history
(
effective epic function > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:42:33
Discrete mathematics > history
(
Discrete mathematics > history(rev # 40)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:40:00
decidable setoid > history
(
decidable setoid > history(rev # 6)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:39:46
setoid > history
(
setoid > history(rev # 2)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:39:35
quotient set > history
(
quotient set > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:37:40
HomePage
(
HomePage(rev # 64)
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:45:58
Resources > history
(
Resources > history(rev # 11)
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:45:43
Events > history
(
Events > history(rev # 26)
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:45:25
Categorical Homotopy Type Theory > history
(
Categorical Homotopy Type Theory > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:15:53
rational numbers > history
(
rational numbers > history(rev # 19)
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:00:03
Number theory > history
(
Number theory > history(rev # 12)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:51:08
Discrete mathematics > history
(
Discrete mathematics > history(rev # 39)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:50:53
decimal numbers > history
(
decimal numbers > history(rev # 10)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:50:43
irrational numbers > history
(
irrational numbers > history(rev # 5)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:46:35
Agda > history
(
Agda > history(rev # 11)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:44:26
HomePage
(
HomePage(rev # 63)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:40:06
Proof Assistants > history
(
Proof Assistants > history(rev # 7)
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:39:55
HomePage
(
HomePage(rev # 62)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:54:20
Algebra > history
(
Algebra > history(rev # 22)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:52:45
Egbert Rijke > history
(
Egbert Rijke > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:51:14
Emily Riehl > history
(
Emily Riehl > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:48:50
Eric Finster > history
(
Eric Finster > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:48:21
Evan Cavallo > history
(
Evan Cavallo > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:47:52
Floris van Doorn > history
(
Floris van Doorn > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:46:52
Guillaume Brunerie > history
(
Guillaume Brunerie > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:46:00
Ian Orton > history
(
Ian Orton > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:43:31
James Ladyman > history
(
James Ladyman > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:42:39
Jason Gross > history
(
Jason Gross > history(rev # 4)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:42:10
Jeremy Avigad > history
(
Jeremy Avigad > history(rev # 3)
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:39:43
« Previous
1
2
3
4
5
6
7
8
9
10
Next »