The Barr-Beck Monadicity Theorem
Matematik handlar ofta om något slags abstrakta objekt och relationer mellan dem: tal och olikheter, mängder och funktioner, algebraiska strukturer och strukturbeverande funktioner. Kategoriteori utgår från observationen att dessa objekt och relationer kan studeras abstrakt utan att ta hänsyn till exakt vad objekten och relationerna är: det väsentliga är vilken struktur de har. Strukturen består a
