The Book of Functions: Explore Set Theory, Abstract Algebra, and Category Theory with Functional Progra mming

Elements of the Theory Functions and Functional Analysis

Beyond Limits: Infinitesimals, Abstract Algebra, Category Theory, Synthetic Differential Geometry, and Automatic Differentiation

The Shape, Structure, and Flow of Awareness: Experiential Set Theory, Topology, Category Theory

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50