With `Sammy' Eilenberg, Saunders Mac Lane was one of the original pioneers of category theory. He initially worked on it as a language to enable ‘natural transformations’ to be described in a ‘natural’ way, and also developed, again with Eilenberg many of the strong links with group theory and the cohomology of groups. He was the author of one of the key books on homological algebra, see below.

With Henry Whitehead he gave the first algebraic description of the 2-type of a space.

Mac Lane, S. (1986). Mathematics form and function. Springer.

Papers of particular relevance to subjects in the nLab

S. Mac Lane and J. H. C. Whitehead, On the 3-type of a complex , Proc. Nat. Acad. Sci. U.S.A., 36, (1950), 41 – 48 (N.B. Their 3-type is the modern 2-type.)