Latest 20 Posts
- kenyΓ©rpuding - v0.2 logika ππ±
- v0.1 logika ππ±
- um - maybe β 1 sketch
- Visual Algebra - From Dot to Cosmos
- morphism of abstract shape
- morphism of abstract shape
- sketches - learning about type theory foundations, and term theory
- Term Theory
- building R from scratch
- arrow only categories
- I'm learning to construct puzzles
- build mathematics from puzzles!-logic puzzles, code puzzles, category theory
- --Doesn't this have to do with meets and join β¨ β§?
- --filters? β©οΈ categorigami
- π sheaf of moments 8. August 2025
- π§ Q What must krax respect when defined over zup regions?
- βοΈ Sip tea β π§π½ββοΈ Take a breath β πΉ Play a chord β π Observe a leaf.
- ααα’
- moments of sheaf - fragments
- π¦ Lean4 Puzzle, π’ C Puzzle, π Python Puzzle
137 more posts can be found in the archive.