pesch

Category (Theory)

How abstract mathematics can be useful in Computer Science and Software Engineering ?

  • Free constructions
  • Graphs vs. categories
  • (Typed) Functional Programming (Ocaml, Haskell, etc.)
  • Dependent Type Systems
  • Proof assistants (Rocq, Lean4, etc.)