Latest 20 Posts
- Miért kell a toposzhoz f = g>>h ?
- I'm exploring Liquid Haskell a bit further because it seems fun
- Google Summer of Code 2026
- accessible terms
- a natural number is a vector space - cool things coolness
- this is cool, i try to write it
- 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 ∨ ∧?
144 more posts can be found in the archive.