aliquote.org
articles
archives
about
/
April 21, 2020
Computational Category Theory
(PDF, 263 pp.).