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

The Pullback Lemma in Gory Detail (Redux)

January 15, 2024 01:33 UTC 0 Comments

Tags: math, category theory

What is the coproduct of two groups?

December 22, 2023 02:47 UTC 0 Comments

Tags: math, category theory

Preserving, Reflecting, and Creating Limits

March 21, 2023 05:39 UTC 0 Comments

Tags: math, category theory

Overlaps

January 6, 2021 03:46 UTC 0 Comments

Tags: math, logic, category theory

Enriched Indexed Categories, Syntactically

July 6, 2020 05:03 UTC 0 Comments

Tags: math, category theory

Internal Language of Indexed Monoidal Categories

July 6, 2020 02:00 UTC 0 Comments

Tags: math, category theory

Internal Language of a Monoidal Category

May 22, 2020 08:46 UTC 1 Comment

Tags: math, category theory

Example Representability Argument

May 4, 2020 17:21 UTC 1 Comment

Tags: math, category theory

Beck-Chevalley

February 23, 2020 07:59 UTC 0 Comments

Tags: math, category theory

Absolute Colimits

May 18, 2019 23:59 UTC 0 Comments

Tags: math, category theory

Category Theory, Syntactically

November 25, 2016 06:23 UTC 2 Comments

Tags: programming, math, category theory

You know more about presheaves than you think

November 2, 2015 12:04 UTC 5 Comments

Tags: CS, category theory

The three styles of category theory

September 30, 2015 05:45 UTC 5 Comments

Tags: math, category theory

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)