Methods Of Constructive Category Theory
New preprint.
New preprint.
You can try CAP (Categories, Algorithms, Programming) in your browser
Thanks to all participants of the CAP Days 2018
We are happy to announce CAP Days 2018, August 28 - August 31, at University of Siegen.