beuke.org

A personal blog exploring computer science and theoretical physics

Tag: category theory

2025
Profunctor Optics
Monoidal Structures for Modular Access Patterns
Posted on Mar 29 2025 ~ X min read
#category theory
2023
Category
Collection of Objects Linked by Arrows
Posted on Oct 02 2023 ~ X min read
#category theory  #haskell
Natural Transformation
A Morphism of Functors
Posted on Sep 12 2023 ~ X min read
#category theory  #haskell
Applicative
A Strong Lax Monoidal Functor
Posted on Sep 08 2023 ~ X min read
#category theory  #haskell
Functor
A Homomorphism of Categories
Posted on Aug 30 2023 ~ X min read
#category theory  #haskell
Semigroup
An Associative Magma
Posted on Aug 29 2023 ~ X min read
#category theory  #haskell  #abstract algebra
Monoid
A Semigroup with Identity
Posted on Aug 27 2023 ~ X min read
#category theory  #abstract algebra
Monad
A Monoid in the Category of Endofunctors
Posted on Jul 25 2023 ~ X min read
#category theory  #abstract algebra  #monads
2020
Hom-Set
Sets of Morphisms
Posted on Jan 18 2020 ~ X min read
#category theory  #haskell