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