Homotopy Type Theory Recently Revised

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