Tagged “Mathematics”
- braid theory, fonáselmélet kezdeti lépések
- 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
- Mini Puzzle - ∀, ∃, normalization challenge
- core ≈ lake + package + lib?
- glimpse 2025-08-05
- call ⟶ response, question ⟶ answer
- Lean4 architect crafts workshop lvl0
- take3 -- sheaf.notes ∈ day
- 🦑 N ⟶ N, 0 + n = n 💎 Take 2
- N ⟶ N, 0 + n = n
- Is a pebble mathematical?
- approx 5
- moments as morphisms -- music ≅ mathematics?
- moments as morphisms -- polysemy
- Create you own BSc in mathematics, an MVP
- uni🌱topos ≈ (Obj, Morph, Ωᵤ)
- M ⟶ 𝓜, music ⟶ mathematics
- ℤₙ, ≡, n! --glimpse 2025-07-24
- a “mini-move” 🥋 崩し
- category of motion — Mi 2025-07-23
- moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
- fragments of reflective proofs journal 2025 july 23
- approximation 4
- Make your own MSc(BSc) curriculum, and exercises
- recollection
- Mini MVPs 🌱
- fragments 2025-07-09
- fragments 2025-juli-5
- 🌱 Topos Notes
- 🧠 mindful(t), entries in logic
- 🐬 Smallproofs
- fragments 2025-06-29
- a
- cool learning idea
- √2_irrational is journey
- pebbles
- levels of abstractions
- I can be computer agent
- Wake
- keep noticing
- tegnap
- my tiny portfolio 🐙🌱
- upcycle poetry ∎
- Rainy rock day
- A cold sunshiny day
- Blog article driven learning
- Coefficient Harmony
See all tags.