Hedonistic Learning

Learning for the fun of it

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. 2024-01-15 - The Pullback Lemma in Gory Detail (Redux)
  2. 2024-01-03 - Universal Quantification and Infinite Conjunction
  3. 2023-12-22 - What is the coproduct of two groups?
  4. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  5. 2021-01-06 - Overlaps
  6. 2020-08-09 - Complex-Step Differentiation
  7. 2020-07-06 - Enriched Indexed Categories, Syntactically
  8. 2020-07-06 - Internal Language of Indexed Monoidal Categories
  9. 2020-05-22 - Internal Language of a Monoidal Category
  10. 2020-05-04 - Example Representability Argument

Tags

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