Gutsche, Sebastian: Constructive category theory and applications to algebraic geometryKonstruktive Kategorientheorie und Anwendungen in algebraischer Geometrie. 2017

Inhalt