Hedonistic Learning

Learning for the fun of it

Differentiation under the integral

September 14, 2015 07:53 UTC

Tags: math, geometric algebra

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)