Inhaltsverzeichnis |
Zusammenfassung zu Kan extension
In der mathematischen Kategorientheorie bezeichnet man Funktoren, die eine Gleichung <math>?\\circ F=X</math> lösen und darüber hinaus durch eine gewisse universelle Eigenschaft bestimmt sind, als Kan-Erweiterungen. Die Konstruktion ist nach D