Category
Collection of Objects Linked by Arrows
Posted on Oct 2 2023 ~ 10 min read
Natural Transformation
A Morphism of Functors
Posted on Sep 12 2023 ~ 5 min read
Applicative
A Strong Lax Monoidal Functor
Posted on Sep 8 2023 ~ 8 min read
Functor
A Homomorphism of Categories
Posted on Aug 30 2023 ~ 4 min read
Semigroup
An Associative Magma
Posted on Aug 29 2023 ~ 3 min read
Monads in Python
Functor, Applicative, Monads in Python
Posted on Oct 30 2022 ~ 7 min read
Hom-Set
Sets of Morphisms
Posted on Jan 18 2020 ~ 5 min read
Pure Imperative Haskell
Pure Imperative Code Examples in Haskell
Posted on Aug 27 2018 ~ 5 min read