beuke.org

A personal blog about computer science topics.

Coq Tutorial
Interactive Theorem Proving with Coq
Posted on Oct 9 2023 ~ 6 min read
#theorem proving  #proof theory  #coq 
Category
Collection of Objects Linked by Arrows
Posted on Oct 2 2023 ~ 10 min read
#category theory  #haskell 
Natural Transformation
A Morphism of Functors
Posted on Sep 12 2023 ~ 5 min read
#category theory  #haskell 
Applicative
A Strong Lax Monoidal Functor
Posted on Sep 8 2023 ~ 8 min read
#category theory  #haskell 
Functor
A Homomorphism of Categories
Posted on Aug 30 2023 ~ 4 min read
#category theory  #haskell 
Semigroup
An Associative Magma
Posted on Aug 29 2023 ~ 3 min read
#category theory  #haskell  #abstract algebra 
Monoid
A Semigroup with Identity
Posted on Aug 27 2023 ~ 5 min read
#category theory  #abstract algebra 
Monad
A Monoid in the Category of Endofunctors
Posted on Jul 25 2023 ~ 6 min read
#category theory  #abstract algebra  #monads