Nadat de abstracte benadering van de homologietheorie aan de hand van de Eilenberg-Steenrod axioma's was ingevoerd, introduceerden hij en Eilenberg in 1945 de categorietheorie. Mac Lane staat vooral bekend voor zijn werk aan de coherentiestellingen. Een terugkerend kenmerk van de categorietheorie, de abstracte algebra en van sommige andere wiskunde is het gebruik van commutatieve diagrammen, bestaande uit pijlen, die morfismen weergeven, die wiskundig objecten met elkaar verbinden, zoals producten en coproducten. Volgens McLarty (2005) komt deze schematische aanpak van de hedendaagse wiskunde grotendeels uit het werk voort van Mac Lane (1948).
Mac Lane deed grote moeite om begrijpelijke teksten te schrijven. Dit begon reeds met zijn zeer invloedrijke A Survey of Modern Algebra, Een overzicht van de moderne algebra, een werk dat hij in 1941 samen met Garrett Birkhoff schreef. Het was vanaf dat moment voor het eerst mogelijk om aan doctoraalstudenten in de moderne algebra les te geven met behulp van een Engels tekst. Zijn Categories for the Working Mathematician, Categorieën voor de werkende wiskundigen, is nog steeds een belangrijke inleiding tot de categorietheorie.
S Mac Lane. Categories for the Working Mathematician, Categorieën voor de werkende wiskundige, 1997. ISBN 0-387-98403-8