Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Github project where I track everything related to my thesis

MSc and PhD thesis template for the Software Technology group at Universiteit Utrecht