https://9lib.org/document/yr3057pv-category-theory-foundations-computer-science-andrzej-tarlecki.html