In dieser Vorlesung werden die Grundlagen der Kategorientheorie vermittelt und so die Teilnehmer zum für die gesamte Mathematik fruchtbaren "kategoriellen Denken" befähigt (siehe z.B. "Über das kategorielle Denken"). Beispiele werden überwiegend aus der Algebra gewählt werden; deshalb sollten Hörer dieser Vorlesung zuvor eine Grundvorlesung "Algebra" besucht haben.

Inhalte werden neben den kategoriellen Grundbegriffen (Kategorie, Funktor, natürliche Transformation; Limes und Colimes, adjungierte Funktoren) Algebren (und evtl. Coalgebren) sowie Eigenschaften von Kategorien derselben sein.