First up-to-date treatment of the categorical view of sets with extra algebraic structure (data types), with applications in analysis, topology and number theory, geometry, and mathematical physics. A stimulating read for graduate students and researchers in category theory, general algebra, theoretical computer science and algebraic topology.