⚛️Igor Kan
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Archive
❯
Digital Garden (proof of concept)
Folder: Archive/Digital-Garden-(proof-of-concept)
67 items under this folder.
Apr 16, 2026
Representable Functor
category-theory
yoneda
Apr 16, 2026
Separation Axiom
set-theory
axiom
Apr 16, 2026
Simple Type Theory
logic
type-theory
Apr 16, 2026
Skolem Paradox
logic
paradox
Apr 16, 2026
Joseph Stalin
russia
soviet-union
communism
Apr 16, 2026
Transitive Set
set-theory
transitivity
Apr 16, 2026
Union Axiom
set-theory
axiom
Apr 16, 2026
Universal Arrow
category-theory
Apr 16, 2026
von Neumann Universe (Cumulative Hierarchy)
set-theory
universe
hierarchy
Apr 16, 2026
Well-Ordering Theorem
set-theory
choice
Apr 16, 2026
Xi Jinping
china
politics
ccp
current
Apr 16, 2026
Yoneda Lemma
category-theory
Apr 16, 2026
Zorn''s Lemma
set-theory
choice
Apr 16, 2026
2-Category
category-theory
higher-category
Apr 16, 2026
Elementary Theory of the Category of Sets (ETCS)
set-theory
categorical
Apr 16, 2026
Morse�Kelley Set Theory (MK)
set-theory
class-theory
Apr 16, 2026
Von Neumann�Bernays�G�del Set Theory (NBG)
set-theory
class-theory
Apr 16, 2026
New Foundations with Urelements (NFU)
set-theory
alternative
Apr 16, 2026
Zermelo-Fraenkel with Atoms (ZFA)
set-theory
Apr 16, 2026
Zermelo–Fraenkel Set Theory with the Axiom of Choice
set-theory
Apr 16, 2026
Adjunction
category-theory
adjunction
Apr 16, 2026
Adolf Hitler
germany
nazi
wwii
fascism
Apr 16, 2026
Aleph Hierarchy
set-theory
cardinality
Apr 16, 2026
Axiom of Choice
set-theory
axiom
Apr 16, 2026
Axiom Schema
logic
set-theory
Apr 16, 2026
Beth Hierarchy
set-theory
cardinality
Apr 16, 2026
Cardinal Numbers
set-theory
cardinality
Apr 16, 2026
Category
category-theory
Apr 16, 2026
Colimit
category-theory
colimit
Apr 16, 2026
Communism
ideology
marxism
socialism
Apr 16, 2026
Comonad
category-theory
comonad
Apr 16, 2026
Comprehension Axiom (Invalid in ZFC)
set-theory
axiom
paradox
Apr 16, 2026
Axiom of Constructibility (V = L)
set-theory
axiom
constructibility
Apr 16, 2026
Cumulative Hierarchy
set-theory
universe
Apr 16, 2026
Deng Xiaoping
china
history
communism
reform
Apr 16, 2026
Axiom of Determinacy (AD)
set-theory
axiom
determinacy
Apr 16, 2026
Empty Set Axiom
set-theory
axiom
Apr 16, 2026
Endofunctor
category-theory
Apr 16, 2026
Extensionality Axiom
set-theory
axiom
Apr 16, 2026
First-Order Set Theory
set-theory
logic
Apr 16, 2026
Foundation Axiom
set-theory
axiom
Apr 16, 2026
Functor
category-theory
Apr 16, 2026
Generalized Continuum Hypothesis (GCH)
set-theory
cardinality
Apr 16, 2026
G�del''s Incompleteness Theorems
logic
foundations
Apr 16, 2026
Great Leap Forward
china
mao
communism
history
famine
Apr 16, 2026
Hereditarily Finite Sets
set-theory
finite
Apr 16, 2026
Hom Functor
category-theory
functor
Apr 16, 2026
Axiom of Infinity
set-theory
axiom
Apr 16, 2026
Initial and Terminal Objects
category-theory
Apr 16, 2026
Isomorphism
category-theory
Apr 16, 2026
Iterative Conception of Set
set-theory
philosophy
Apr 16, 2026
Kleisli Category
category-theory
monad
Apr 16, 2026
Large Cardinal Axioms
set-theory
large-cardinal
Apr 16, 2026
Limit
category-theory
limit
Apr 16, 2026
L�wenheim�Skolem Theorem
logic
set-theory
Apr 16, 2026
Mao Zedong
china
communism
revolutionary
history
Apr 16, 2026
Material Set Theory
set-theory
Apr 16, 2026
Monad
category-theory
monad
Apr 16, 2026
Natural Transformation
category-theory
Apr 16, 2026
Nazism
ideology
fascism
germany
Apr 16, 2026
Ordinal Numbers
set-theory
ordinal
Apr 16, 2026
Pairing Axiom
set-theory
axiom
Apr 16, 2026
Power Set Axiom
set-theory
axiom
Apr 16, 2026
Presheaf
category-theory
sheaf
Apr 16, 2026
Product
category-theory
limits
Apr 16, 2026
Ordinal Rank Function
set-theory
rank
ordinal
Apr 16, 2026
Replacement Axiom
set-theory
axiom