Definition for "Kan-Erweiterung" in the Quantum Dictionary

- Natural & Formal Sciences -

Mathematics & Logic Dictionary

Eine universelle Konstruktion, die die beste Approximation eines Funktors F entlang eines Funktors K liefert, nämlich die linke Kan-Erweiterung Lan_K F (kolimitbasiert) oder die rechte Kan-Erweiterung Ran_K F (limitbasiert), charakterisiert durch universelle natürliche Transformationen.

- Mathematics & Logic -

Pure Mathematics Dictionary

Eine universelle Konstruktion, die einen Funktor entlang eines anderen Funktors bestmöglich erweitert und linke oder rechte Kan-Erweiterungen liefert, die durch universelle Abbildungseigenschaften charakterisiert sind und Limiten, Kolimiten und Adjunkte verallgemeinern.