This is an unofficial reimagining of the Archive of Formal Proofs
Residuated Transition Systemsby Eugene W. Stark
Bicategoriesby Eugene W. Stark
Monoidal Categoriesby Eugene W. Stark
Category Theory with Adjunctions and Limitsby Eugene W. Stark