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

Universal Quantification and Infinite Conjunction

January 3, 2024 06:00 UTC 0 Comments

Tags: math, logic

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

Complex-Step Differentiation

August 9, 2020 05:28 UTC 0 Comments

Tags: math, programming

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

Finite

March 26, 2018 07:57 UTC 1 Comment

Tags: math, logic

The Pedagogy of Logic: A Rant

March 1, 2018 04:35 UTC 1 Comment

Tags: math, logic

Category Theory, Syntactically

November 25, 2016 06:23 UTC 2 Comments

Tags: programming, math, category theory

Quotient Types for Programmers

September 23, 2016 05:21 UTC 8 Comments

Tags: math, type theory

Constructivist Motto

May 7, 2016 18:12 UTC 3 Comments

Tags: math

High dimensional thought experiment from Hamming

December 4, 2015 01:22 UTC 3 Comments

Tags: math

The three styles of category theory

September 30, 2015 05:45 UTC 5 Comments

Tags: math, category theory

Differentiation under the integral

September 14, 2015 07:53 UTC 0 Comments

Tags: math, geometric algebra

A better way to write convolution

September 14, 2015 06:12 UTC 1 Comment

Tags: math

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)