Vorlage:Navigationsleiste Kategorientheorie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Vollständigkeit der Einbindungen prüfen

Kategorientheorie
Einordnung
Typen von Kategorien

dual | diskret | klein | lokal klein | monoidal | symmetrisch monoidal | angereichert | ausgeglichen | erreichbar | vollständig | kovollständig

Typen von Objekten

initial | terminal | null | injektiv | projektiv | Generator | Kogenerator | Pro | Ind | Gruppe | Monoid | exponential | frei | kompakt

Typen von Morphismen

Mono | Epi | Bi | Retraktion | Koretraktion | Injektive Auflösung | Projektive Auflösung

Typen von Funktoren

konstant | voll | treu | volltreu | additiv | exakt | abgeleitet | glatt

Konstruktionen
Limes

Produkt | Differenzkern | Faserprodukt | Ende

Kolimes

Filtrierter Kolimes | Koprodukt | Differenzkokern | Kofaserprodukt

Kan-Erweiterung | Monade | Komonade | Kategorie der Elemente | Kommakategorie | Pfeilkategorie | Homotopie-Kategorie

Resultate

Lemma von Yoneda | Fixpunktsatz von Lawvere | Einbettungssatz von Mitchell

Spezielle Funktoren

Hom-Funktor | Potenzmengenfunktor | Diagonalfunktor | Ext | Tor

Abgerufen von „https://de.wikipedia.org/w/index.php?title=Vorlage:Navigationsleiste_Kategorientheorie&oldid=247773577“