Hedonistic Learning

Learning for the fun of it

What is the coproduct of two groups?

December 22, 2023 02:47 UTC

Tags: math, category theory

Overlaps

January 6, 2021 03:46 UTC

Tags: math, logic, category theory

Complex-Step Differentiation

August 9, 2020 05:28 UTC

Tags: math, programming

Beck-Chevalley

February 23, 2020 07:59 UTC

Tags: math, category theory

Absolute Colimits

May 18, 2019 23:59 UTC

Tags: math, 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

Category Theory, Syntactically

November 25, 2016 06:23 UTC

Tags: programming, math, category theory

Quotient Types for Programmers

September 23, 2016 05:21 UTC

Tags: math, type theory

Constructivist Motto

May 7, 2016 18:12 UTC

Tags: math

High dimensional thought experiment from Hamming

December 4, 2015 01:22 UTC

Tags: math

The three styles of category theory

September 30, 2015 05:45 UTC

Tags: math, category theory

Differentiation under the integral

September 14, 2015 07:53 UTC

Tags: math, geometric algebra

A better way to write convolution

September 14, 2015 06:12 UTC

Tags: math