Home
Hi 👋🏻
- Applied Category Theory
- Category Theory
- 2-category
- Generalized Algebraic Theories (GAT)
- Lawvere Theories
- Yoneda lemma
- algebraic fundamentally means equational
- algebraic theory
- braided monoidal category
- cartesian category
- category Arity
- category Euc
- category
- congruence
- diagram
- double category
- double theories
- forgetful functor
- free category (path category)
- functor category
- graph
- higher category theory
- instance
- lens
- limit
- model
- monoidal category
- natural isomorphism
- natural transformation
- order
- product category
- product
- representable functor
- schema
- signature
- skeletal category
- string diagram
- symmetric monoidal category
- theory
- universal construction
- virtual double category
- virtual double graph
- wiring diagram
- Corner
- Modern AI
- Random
- Format on save using entr without editor
- Julia Sum Benchmarks
- Julia has no dependent types
- Python tricks
- Repost- Concept selection in systems engineering as lenses in Poly
- Repost- Generalized Transformers from Applicative Functors
- Repost- Reinforcement Learning through the Lens of Categorical Cybernetics
- Repost- Simple top-down development in OCaml (intf trick)
- Repost- Why I chose OCaml as my primary language
- SchPetriNet
- Someone's Obsidian Vault
- {Directed, Undirected} x {Biased, Unbiased}
- home
- post