Homotopy Type Theory
Recently Revised
Skip the Navigation Links
|
Home Page
|
All Pages
|
Latest Revisions
|
Authors
|
Categories
:[Any]
redirected to nlab
July 4, 2025
Sandbox
(
diff
|
history
)
by
Anonymous
?
at July 4, 2025 at 05:30:46
September 22, 2024
Jordan
by
Anonymous
?
at September 22, 2024 at 22:04:09
Guest
by
Anonymous
?
at September 22, 2024 at 21:53:10
steveawodey
by
Anonymous
?
at September 22, 2024 at 21:40:36
Anonymouse
by
Anonymous
?
at September 22, 2024 at 21:40:00
@@XbXn8
by
Anonymous
?
at September 22, 2024 at 21:25:42
1'"
by
Anonymous
?
at September 22, 2024 at 21:25:40
Q2W0cngm')) OR 53=(SELECT 53 FROM PG_SLEEP(15))--
by
Anonymous
?
at September 22, 2024 at 21:25:38
Cb1cb51P' OR 375=(SELECT 375 FROM PG_SLEEP(15))--
by
Anonymous
?
at September 22, 2024 at 21:25:36
1 waitfor delay '0:0:15' --
by
Anonymous
?
at September 22, 2024 at 21:25:34
0"XOR(if(now()=sysdate(),sleep(15),0))XOR"Z
by
Anonymous
?
at September 22, 2024 at 21:25:32
if(now()=sysdate(),sleep(15),0)
by
Anonymous
?
at September 22, 2024 at 21:25:29
-1' OR 2+256-256-1=0+0+0+1 or 'mKaZPsOj'='
by
Anonymous
?
at September 22, 2024 at 21:25:27
-1 OR 2+10-10-1=0+0+0+1
by
Anonymous
?
at September 22, 2024 at 21:25:25
UMyn8W7b
(
diff
|
history
)
by
Anonymous
?
at September 22, 2024 at 21:25:22
March 15, 2024
integers > history
(
diff
|
history
)
by
Anonymouse
at March 15, 2024 at 17:04:27
November 28, 2022
dependent type theory > history
(
diff
|
history
)
by
Anonymous
?
at November 28, 2022 at 06:56:12
homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at November 28, 2022 at 04:08:03
ETCS as a dependent type theory > history
(
diff
|
history
)
by
Anonymous
?
at November 28, 2022 at 03:48:48
cohesive homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at November 28, 2022 at 03:21:30
HomePage
(
diff
|
history
)
by
Anonymous
?
at November 28, 2022 at 03:18:42
October 14, 2022
propositional logic > history
(
diff
|
history
)
by
Anonymous
?
at October 14, 2022 at 20:17:28
type theory over logic > history
(
diff
|
history
)
by
Anonymous
?
at October 14, 2022 at 20:14:38
October 7, 2022
Tarski universe > history
(
diff
|
history
)
by
Anonymous
?
at October 7, 2022 at 14:10:14
October 4, 2022
universe > history
(
diff
|
history
)
by
Anonymous
?
at October 4, 2022 at 13:39:36
June 20, 2022
about > history
(
diff
|
history
)
by
Anonymous
?
at June 20, 2022 at 03:06:12
June 19, 2022
an axiomatization of the real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 19, 2022 at 23:52:18
higher observational type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 19, 2022 at 18:26:34
booleans > history
(
diff
|
history
)
by
Anonymous
?
at June 19, 2022 at 03:04:10
June 18, 2022
decidable existential quantifier > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 22:03:26
decidable universal quantifier > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 22:02:29
decidable directed graph > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:59:49
decidable setoid > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:58:13
Discrete mathematics > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:56:48
decidable open interval > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:55:27
decidable subset > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:54:16
decidable set > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:52:50
decidable preordered type > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:50:39
decidable strict order > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 21:49:32
differential cohesive homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 20:32:01
Differential geometry > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 16:25:05
infinitesimal shape > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 16:07:02
reduction > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 16:06:31
infinitesimally thickened point > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 16:04:44
smooth space > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 16:03:44
Topology > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 15:54:34
shape > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 15:53:30
geometrically contractible space > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 15:13:22
desired articles > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 04:00:45
compact connected space > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 03:24:49
Events > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 02:15:45
HoTT Mini-Course > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 02:13:38
DMV2015 > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 02:11:48
CMU local activities > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 02:10:29
Bonn2018 > history
(
diff
|
history
)
by
Anonymous
?
at June 18, 2022 at 01:59:36
June 17, 2022
halving group > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 23:29:07
definitional equality > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 23:13:28
inverse image > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 23:02:35
infinitely iterated inverse image > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 23:01:35
iterated inverse image > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 22:47:06
fiber > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 22:11:23
proposition > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 22:08:29
set > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 22:07:49
equivalence > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 22:05:42
monic function > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:58:07
effective epic function > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:50:44
Algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:27:33
abelian group > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:25:25
Rational homotopy theory > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:18:17
rational homotopy type > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:17:21
rationalization of a simply connected type > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:16:34
rationalization of an abelian group > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 21:11:24
divisible group > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:52:52
torsion-free divisible group > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:48:21
abelian group homomorphism > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:38:06
bilinear function > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:35:01
ring > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:33:17
commutative ring > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:31:11
univariate polynomial ring > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 20:29:23
finite type > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 19:25:06
sequence > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:58:47
left shift operator > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:57:50
right shift operator > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:57:07
series operator > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:55:58
inverse series operator > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:55:10
sequential derivative > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:50:54
sequential antiderivative > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:49:45
sequential polynomial > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:48:38
Analysis > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:36:49
limit of a sequence > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:35:25
Cauchy sequence > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:33:47
natural numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:29:42
Number theory > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 18:22:51
rational numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 17:27:02
rational root theorem > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 17:22:08
polynomial ring > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 16:59:13
commutative algebra (ring theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 14:12:27
algebra (ring theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 14:09:19
Q-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 13:51:41
strict order > history
(
diff
|
history
)
by
Anonymous
?
at June 17, 2022 at 03:46:21
June 16, 2022
ordered integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 22:45:28
ordered abelian group > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 22:40:15
Archimedean ordered abelian group > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 20:01:38
Archimedean ordered integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 19:58:09
ordered field > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 18:43:54
Archimedean ordered field > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 18:40:55
sequentially Cauchy complete Archimedean ordered field > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 18:34:23
HoTT book > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 18:16:21
type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 16:37:42
image > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 14:23:53
axiom of replacement > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 13:59:01
locally small type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 13:58:27
essentially small type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 13:57:37
cone type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 11:59:28
contractible type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 11:52:17
empty type > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 11:42:44
nlab
by
Anonymous
?
at June 16, 2022 at 02:54:40
empty page
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:54:06
relation > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:36:24
predicate > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:31:57
directed graph > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:28:22
partial order > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:25:36
ZF > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:08:29
torsion-free halving group > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:07:19
Resources > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 02:05:29
Eric Finster, Towards Higher Universal Algebra in Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 16, 2022 at 01:32:29
June 15, 2022
HoTT2019 Summer School open problems list > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 23:26:24
homotopy level > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:39:51
groupoid > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:19:11
groupoid enriched in monoids > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 22:17:48
sequentially Hausdorff space > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:10:40
sequential convergence space > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 21:09:24
apartness relation > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:55:51
functional relation > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:54:02
entire relation > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:52:01
partial function > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:45:40
multivalued function > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:44:15
setoid > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:39:35
quotient set > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 20:37:40
Categorical Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 19:15:53
decimal numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:50:43
irrational numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:46:35
Agda > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:44:26
Proof Assistants > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 18:39:55
Egbert Rijke > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:51:14
Emily Riehl > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:48:50
Eric Finster > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:48:21
Evan Cavallo > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:47:52
Floris van Doorn > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:46:52
Guillaume Brunerie > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:46:00
Ian Orton > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:43:31
James Ladyman > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:42:39
Jason Gross > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:42:10
Jeremy Avigad > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:39:43
Kristina Sojakova > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:39:04
Kuen-Bang Hou (Favonia) > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:38:34
Luis Scoccola > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:36:52
Martín Escardó > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:36:04
Matthieu Sozeau > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:35:25
Michael Shulman > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:34:48
Michael Warren > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:34:07
Morgan Opie > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:33:39
Nicola Gambino > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:33:04
Nicolai Kraus > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:32:38
Paige North > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:31:59
Paolo Capriotti > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:31:27
Per Martin-Löf > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:30:40
Ed Morehouse > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:26:33
Dimitris Tsementzis > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:25:31
Denis-Charles Cisinski > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:25:10
David Roberts > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:24:46
Daniel Christensen > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:24:15
Dan Licata > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:23:42
Dan Grayson > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:23:18
Chris Kapulkin > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:22:38
Cesare Gallozzi > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:22:06
Carlo Angiuli > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:19:25
Benno van den Berg > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:18:46
Benedikt Ahrens > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:18:15
Bas Spitters > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:17:45
Anthony Bordg > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:17:09
Andrew M. Pitts > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:16:40
Andrej Bauer > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:16:11
Andrea Vezzosi > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:15:41
Anders Mörtberg > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:14:35
Ali Caglayan > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:13:59
Peter Arndt > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:12:04
Peter LeFanu Lumsdaine > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:11:37
Pieter Hofstra > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:11:12
Richard Garner > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:10:33
Robert Harper > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:10:03
Simon Huber > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:09:13
Steve Awodey > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:08:32
Stuart Presnell > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:07:59
Thierry Coquand > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:07:13
Taichi Uemura > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:06:41
Thorsten Altenkirch > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:05:56
Toby Bartels > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:05:21
Ulrik Buchholtz > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:04:40
Urs Schreiber > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:04:02
Vladimir Voevodsky > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:03:34
Álvaro Pelayo > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 14:03:09
function algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 15, 2022 at 01:44:36
June 14, 2022
module > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:20:03
graded module > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:18:41
geometric algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:17:15
filtered algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:16:13
quadratic form > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:02:22
Clifford algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 21:01:07
real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:39:54
computable real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:38:54
open interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:28:44
dense strict order > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:27:16
dense relation > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:26:17
extended Dedekind cut > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:25:02
Dedekind real unit interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:22:55
Dedekind real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:21:57
unit interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:19:30
strongly extensional function > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:18:21
lower bounded open interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:16:35
upper bounded open interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:15:43
closed interval > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:14:54
real vector space > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:13:11
real Clifford algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:09:03
real geometric algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 20:06:39
continuous mapping > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 18:01:06
homotopy type > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:51:22
identity system > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:50:18
Martin-Loef type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:48:42
univalent Martin-Loef type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:47:27
identity type > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:45:45
axiom R-flat > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:38:50
analytic Markov's principle > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:36:52
intermediate value theorem > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:34:42
contractibility of Dedekind real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 17:33:35
monoid > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:35:43
commutative monoid > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:33:58
group > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:32:49
action > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:30:24
double negation > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 16:17:40
de Morgan's law > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 04:43:50
Whitehead's principle > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 04:43:28
Logic > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 04:42:14
excluded middle > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 04:37:39
limited principle of omniscience > history
(
diff
|
history
)
by
Anonymous
?
at June 14, 2022 at 03:03:14
June 13, 2022
bidirectional sequence > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 23:44:46
trilinear function > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 23:15:53
magma > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:58:31
power-associative magma > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:57:40
power function > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:52:35
polynomial function > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:51:20
square function > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:34:08
quadratic function > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:32:58
Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:18:51
unital Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 21:14:32
algebra (module theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 20:08:08
diagonal > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 19:44:39
cancellation Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 19:38:11
discrete cancellation Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 19:37:34
Heyting cancellation Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 19:37:23
algebraic formulation of dependent type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 19:27:03
characteristic > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:36:12
univariate rational expressions > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:33:20
type theories > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:31:03
decimal numeral representations of the natural numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:21:09
commutant > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:14:52
bimodule > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:06:05
biaction > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 06:02:04
bimodule homomorphism > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 05:59:52
ideal (ring theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 05:58:34
cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:12:22
discrete cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:11:54
Heyting cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:10:57
commutative cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:08:56
commutative discrete cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:08:16
commutative Heyting cancellation ring > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:07:22
domain (ring theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:05:23
discrete domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:04:54
Heyting domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:04:19
integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:02:26
GCD domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:01:47
discrete GCD domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:01:17
Heyting GCD domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 01:01:09
discrete integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 00:59:23
Heyting integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 13, 2022 at 00:58:47
June 12, 2022
field (ring theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:55:53
discrete field > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:54:39
Heyting field > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:54:06
skewfield > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:49:07
discrete skewfield > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:48:11
Heyting skewfield > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:47:37
commutative reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:44:40
commutative discrete reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:44:07
commutative Heyting reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:43:30
commutative division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:42:11
commutative discrete division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:41:23
commutative Heyting division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:40:47
reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:38:24
discrete reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:37:46
Heyting reciprocal ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:37:00
division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:35:23
discrete division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:34:47
Heyting division ring > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:34:02
reciprocal Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:18:35
discrete reciprocal Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:17:57
Heyting reciprocal Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:17:01
division Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:14:26
discrete division Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:13:42
Heyting division Z-algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 12, 2022 at 20:12:52
June 11, 2022
differentiable function > history
(
diff
|
history
)
by
Anonymous
?
at June 11, 2022 at 00:26:25
June 10, 2022
pointwise continuous function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:49:30
uniformly continuous function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:41:28
Newton-Leibniz operator > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:25:03
antiderivative > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:20:45
iterated differentiable function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:18:49
directionally differentiable function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:16:48
partial derivative > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:14:51
directional derivative > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:13:44
smooth function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 19:11:38
difference quotient > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:57:15
rational function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:52:16
reciprocal function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:51:18
limit of a binary function approaching a diagonal > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:44:53
algebraic limit field > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:40:55
limit of a function > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:38:09
function limit space > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:33:07
Higher algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:20:01
Order theory > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:07:39
preorder > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:07:14
simplex category > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:05:13
order > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 17:04:52
simplicial type > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 16:48:24
join-semilattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 16:39:46
meet-semilattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 16:37:49
lattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 16:36:09
distributive lattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:52:13
locale of open intervals > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:49:58
suplattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:44:58
frame > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:43:14
Dedekind complete Archimedean ordered integral domain > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:38:56
Dedekind complete Archimedean ordered field > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:30:24
sigma-complete lattice > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:26:55
sigma-frame > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:24:28
Dedekind cut > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:21:59
interval cut > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:09:20
Dedekind real numbers (disambiguation) > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:07:10
Dedekind real closed intervals > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 15:05:23
interval-complete strict order > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 14:50:21
Dedekind cut (disambiguation) > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 14:47:18
Dedekind cut structure > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 14:39:24
Dedekind cut structure real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 14:36:25
dyadic interval coalgebra > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 03:30:48
rational interval coalgebra > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 03:29:38
decimal interval coalgebra > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 03:26:22
net > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:47:49
preconvergence space > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:45:48
limit of a net > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:44:40
Hausdorff space > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:41:50
Hausdorff ring > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:40:14
directed type > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:38:18
HoTT book real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 01:11:44
Cauchy real numbers (disambiguation) > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:53:25
Cauchy complete Archimedean ordered field > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:51:12
Cauchy net > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:49:54
premetric space > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:47:24
Cauchy structure > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:43:11
modulus of Cauchy convergence > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:40:48
Cauchy approximation > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:38:37
Eudoxus real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:24:37
infinite decimal representation of a unit interval > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:17:12
pre-algebra real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:11:43
modulated Cauchy real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 10, 2022 at 00:07:56
June 9, 2022
generalized Cauchy real numbers > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:58:11
univalent universe > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:51:39
filter > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:50:38
lower type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:46:01
upper type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:44:51
monotonic function > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:38:09
antitonic function > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:36:29
opposite preorder > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:34:00
Heyting algebra > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:23:54
directed-complete poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:21:09
enriched poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:20:47
omega-complete poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:16:03
partial function classifier > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:09:19
Sierpinski space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 23:04:24
function type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:46:39
dependent type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:44:18
type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:41:46
Book HoTT > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:38:13
function extensionality > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:35:15
axioms > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:33:36
homotopy > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 20:31:19
inductive-inductive type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:46:03
Large types > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:36:44
realizability > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 19:05:46
topos > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:58:51
Uniqueness of Identity Proofs > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:49:59
Calculating the fundamental group of the circle in homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:34:08
References > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:33:45
Eilenberg-MacLane Spaces in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:32:43
A Cubical Approach to Synthetic Homotopy Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:26:48
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 18:05:29
Synthetic Cohomology in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:58:16
On the homotopy groups of spheres in homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:56:22
Higher-Dimensional Types in the Mechanization of Homotopy Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:52:34
The real projective spaces in homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:44:44
Homotopy limits in type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:37:57
πn(Sn) in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:37:04
Covering Spaces in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 17:33:14
Higher Groups in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:57:36
On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:48:55
Cellular Cohomology in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:46:11
The join construction > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:42:26
Univalent categories and the Rezk completion > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:27:24
Localization in Homotopy Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:06:51
Modalities in homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 16:04:23
pointed connected groupoid > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:11:02
infinity-group > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 15:04:52
commutative A3-space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:48:46
H-space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:45:04
A3-space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:44:42
grouplike A3-space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:44:15
loop space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 14:10:28
locator > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 09:10:36
valuation (measure theory) > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:58:54
sigma-continuous valuation > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:58:44
measure > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:53:54
probability valuation > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:48:19
sigma-continuous probability valuation > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:45:56
probability measure > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:42:31
Yoneda lemma > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:18:06
wild category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:18:00
Whitehead product > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:17:54
well-pointed dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:17:48
wedge sum > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:17:42
weak equivalence of precategories > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:17:36
W-topical dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:17:23
univalent type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:59
unitary isomorphism in a dagger precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:48
unital dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:42
type family > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:17
transport > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:08
tabular dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:16:00
Synthetic homotopy theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:15:35
symmetric monoidal dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:15:23
suspension > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:15:14
spheres > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:15:08
spectrum > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:15:01
spectral sequence > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:54
smash product > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:46
SEPS > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:39
semiadditive dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:32
semiadditive dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:25
semi-simplicial types > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:18
semantics > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:11
Seifert-van Kampen theorem > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:14:04
SEAR > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:13:56
Rezk completion > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:13:16
representably concrete category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:13:10
representable functor > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:13:04
relational dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:12:58
Rel > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:12:52
quiver > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:12:29
pushout > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:12:09
proof theoretic strength of univalent type theory plus HITs > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:12:03
product precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:57
prespectrum > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:51
precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:46
power dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:40
pointed type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:34
opposite precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:11:05
open problems > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:10:59
onto dagger morphism in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:10:54
natural transformation > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:10:35
natural model > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:10:14
monoidal dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:09:41
monic map in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:09:35
model of type theory in an (infinity,1)-topos > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:09:29
model invariance problem > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:09:23
Martin-Löf Type Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:08:50
map-extensional dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:08:39
map-evaluational dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:08:34
map in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:08:28
loop space of a wedge of circles > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:08:05
locally Heyting-algebraic 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:07:59
localization > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:07:53
left adjoint > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:07:47
join > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:07:20
James construction > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:07:14
isomorphism in a precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:06:50
injective dagger morphism in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:06:43
inductive-recursive type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:06:37
Hopf construction > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:05:36
Homotopy Type System > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:05:23
homotopy groups of spheres > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:05:11
homotopy equivalence > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:05:04
hom functor > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:57
HilbR > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:52
higher inductive type > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:46
Heyting dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:38
H-spaceoid > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:32
H-precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:24
H-magmoid > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:04:16
Grothendieck (infinity,1)-topos > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:03:38
geometric dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:03:30
functor precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:03:00
functor > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:52
functional dagger morphism in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:47
fully faithful > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:40
Formalized Homotopy Theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:35
family of objects in a concrete precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:29
family of objects in a concrete H-precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:02:23
extensional dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:39
extensional category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:32
evaluational category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:27
ETCS with elements > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:21
ETCR > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:16
essentially surjective > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:09
equivalence of precategories > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:01:03
entire dagger morphism in a dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:00:41
elementary (infinity,1)-topos > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:00:16
elementarily topical dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:00:10
Eilenberg-MacLane space > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 08:00:04
divison ring > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:59:42
division dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:59:37
dagger precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:59:07
dagger monomorphism in a dagger precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:59:01
dagger epimorphism in a dagger precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:58:55
dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:58:49
dagger 2-preorder > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:58:43
dagger 2-poset with elements > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:58:37
dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:58:28
conjunctive dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:57:06
concrete precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:57:01
concrete H-precategory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:54
concrete category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:48
compact closed dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:43
cohomology > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:38
coherent dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:32
cocartesian monoidal dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:25
circle > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:20
choice topical dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:14
choice dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:56:09
category theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:55:20
category of partial functions in a set > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:55:15
category of monic maps > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:55:09
category of maps > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:55:04
category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:58
Categorical SEAR > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:53
cartesian monoidal dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:48
cartesian dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:43
braided monoidal dagger category > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:08
Boolean W-topical dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:54:01
Boolean topical dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:53:55
Boolean dagger 2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:53:49
book homotopy type theory > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:53:38
2-preorder > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:53:10
2-poset of partial maps > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:53:05
2-poset > history
(
diff
|
history
)
by
Anonymous
?
at June 9, 2022 at 07:52:43
January 19, 2019
empty
by
Ali Caglayan
at January 19, 2019 at 17:45:28