Tutorials

• Category Theory

  From sets to categories

• Monads

  Monads in mathematics and programming

• Double Categories

  Categories internal to Cat

• SSProve

  Modular cryptographic proofs in Coq