Process journal of learning by Attila Vajda

Tagged “Mathematics”

  1. sketches - learning about type theory foundations, and term theory
  2. Term Theory
  3. building R from scratch
  4. arrow only categories
  5. I'm learning to construct puzzles
  6. build mathematics from puzzles!-logic puzzles, code puzzles, category theory
  7. --Doesn't this have to do with meets and join ∨ ∧?
  8. --filters? ⛩️ categorigami
  9. 🌈 sheaf of moments 8. August 2025
  10. 🧠Q What must krax respect when defined over zup regions?
  11. ☕️ Sip tea → 🧘🏽‍♂️ Take a breath → 🎹 Play a chord → 👁 Observe a leaf.
  12. ᓚᘏᗢ
  13. moments of sheaf - fragments
  14. 🦄 Lean4 Puzzle, 🐢 C Puzzle, 🐍 Python Puzzle
  15. Mini Puzzle - ∀, ∃, normalization challenge
  16. core ≈ lake + package + lib?
  17. glimpse 2025-08-05
  18. call ⟶ response, question ⟶ answer
  19. Lean4 architect crafts workshop lvl0
  20. take3 -- sheaf.notes ∈ day
  21. 🦑 N ⟶ N, 0 + n = n 💎 Take 2
  22. N ⟶ N, 0 + n = n
  23. Is a pebble mathematical?
  24. approx 5
  25. moments as morphisms -- music ≅ mathematics?
  26. moments as morphisms -- polysemy
  27. Create you own BSc in mathematics, an MVP
  28. uni🌱topos ≈ (Obj, Morph, Ωᵤ)
  29. M ⟶ 𝓜, music ⟶ mathematics
  30. ℤₙ, ≡, n! --glimpse 2025-07-24
  31. a “mini-move” 🥋 崩し
  32. category of motion — Mi 2025-07-23
  33. moments of sheaf 🐚 Mi 23 Juli — point, morphism, wave
  34. fragments of reflective proofs journal 2025 july 23
  35. approximation 4
  36. Make your own MSc(BSc) curriculum, and exercises
  37. recollection
  38. Mini MVPs 🌱
  39. fragments 2025-07-09
  40. fragments 2025-juli-5
  41. 🌱 Topos Notes
  42. 🧠 mindful(t), entries in logic
  43. 🐬 Smallproofs
  44. fragments 2025-06-29
  45. a
  46. cool learning idea
  47. √2_irrational is journey
  48. pebbles
  49. levels of abstractions
  50. I can be computer agent
  51. Wake
  52. keep noticing
  53. tegnap
  54. Rainy rock day
  55. A cold sunshiny day
  56. Blog article driven learning
  57. Coefficient Harmony

See all tags.