https://igorkan.com/About-Me/Education 2025-06-05T03:21:43.000Z https://igorkan.com/About-Me/Projects 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/2-category 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/ETCS 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/MK 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/NBG 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/NFU 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/ZFA 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/ZFC 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/adjunction 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/adolf-hitler 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/aleph-hierarchy 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/axiom-of-choice 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/axiom-schema 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/beth-hierarchy 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/cardinal-numbers 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/category 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/colimit 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/communism 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/comonad 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/comprehension-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/constructibility-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/cumulative-hierarchy 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/deng-xiaoping 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/determinacy-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/empty-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/endofunctor 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/extensionality-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/first-order-theory 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/foundation-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/functor 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/gch 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/godel-incompleteness 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/great-leap-forward 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/hereditarily-finite-set 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/hom-functor 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/infinity-set 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/initial-and-terminal-objects 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/isomorphism 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/iterative-conception 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/kleisli-category 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/large-cardinal 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/limit 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/lowenheim-skolem-theorem 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/mao-zedong 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/material-set-theory 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/monad 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/natural-transformation 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/nazism 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/ordinal 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/pairing-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/power-set-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/presheaf 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/product 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/rank-function 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/replacement-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/representable-functor 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/separation-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/simple-type-theory 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/skolem-paradox 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/stalin 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/transitive-set 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/union-axiom 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/universal-arrow 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/von-Neumann-universe 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/well-ordering-theorem 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/xi-jinping 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/yoneda-lemma 2025-06-05T03:21:43.000Z https://igorkan.com/Digital-Garden-(proof-of-concept)/zorns-lemma 2025-06-05T03:21:43.000Z https://igorkan.com/ 2025-06-05T03:21:43.000Z