Hedonistic Learning

Learning for the fun of it

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. 2023-03-21 - Preserving, Reflecting, and Creating Limits
  2. 2021-01-06 - Overlaps
  3. 2020-08-09 - Complex-Step Differentiation
  4. 2020-07-06 - Enriched Indexed Categories, Syntactically
  5. 2020-07-06 - Internal Language of Indexed Monoidal Categories
  6. 2020-05-22 - Internal Language of a Monoidal Category
  7. 2020-05-04 - Example Representability Argument
  8. 2020-04-30 - Recursive Helping
  9. 2020-02-23 - Beck-Chevalley
  10. 2019-05-18 - Absolute Colimits

Tags

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