En los últimos cincuenta años el uso de la noción de "categoría" ha conducido a una notable unificación y simplificación de las matemáticas. Escrito por dos participantes de este desarrollo, Matemáticas conceptuales es el primer libro que sirve a los siguientes dos propósitos: proveer al público en general, o al estudiante principiante, una llave maestra para las matemáticas; y dar una introducción a las categorías para los estudiosos de la ciencia de la computación, los lógicos, los físicos, los lingüistas, etcétera.
Mientras que las ideas y técnicas de la teoría básica de las categorías son útiles a todo lo largo de las matemáticas modernas, este libro no presupone conocimiento en campos específicos; desarrolla las categorías elementales, tales como las gráficas dirigidas y los sistemas dinámicos discretos, desde el principio. Las ideas fundamentales son esclarecidas entonces, de una manera amena, mediante ejemplos en estas categorías.