Hedonistic Learning

Learning for the fun of it

I currently live in Seattle, WA. You can email me at .

See also my GitHub page and StackOverflow page.

Recent

  1. 2024-10-25 - Classical First-Order Logic from the Perspective of Categorical Logic
  2. 2024-10-04 - Global Rebuilding, Coroutines, and Defunctionalization
  3. 2024-07-19 - Morleyization
  4. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  5. 2024-01-03 - Universal Quantification and Infinite Conjunction
  6. 2023-12-22 - What is the coproduct of two groups?
  7. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  8. 2021-01-06 - Overlaps
  9. 2020-08-09 - Complex-Step Differentiation
  10. 2020-07-06 - Enriched Indexed Categories, Syntactically

Tags

  1. Agda (1)
  2. CS (4)
  3. category theory (15)
  4. concurrency (1)
  5. geometric algebra (1)
  6. javascript (1)
  7. logic (6)
  8. math (23)
  9. programming (5)
  10. type theory (2)