Hedonistic Learning

Learning for the fun of it

Classical First-Order Logic from the Perspective of Categorical Logic

October 25, 2024 00:55 UTC

Tags: math, category theory, logic

Morleyization

July 19, 2024 02:35 UTC

Tags: math, category theory, logic

Universal Quantification and Infinite Conjunction

January 3, 2024 06:00 UTC

Tags: math, logic

Overlaps

January 6, 2021 03:46 UTC

Tags: math, logic, category theory

Finite

March 26, 2018 07:57 UTC

Tags: math, logic

The Pedagogy of Logic: A Rant

March 1, 2018 04:35 UTC

Tags: math, logic

Recent

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

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 (6)
  10. type theory (2)