Vollständigkeit der Einbindungen prüfen
dual | diskret | klein | lokal klein | monoidal | symmetrisch monoidal | angereichert | ausgeglichen | erreichbar | vollständig | kovollständig
initial | terminal | null | injektiv | projektiv | Generator | Kogenerator | Pro | Ind | Gruppe | Monoid | exponential | frei | kompakt
Mono | Epi | Bi | Retraktion | Koretraktion (Schnitt) | Injektive Auflösung | Projektive Auflösung
konstant | voll | treu | volltreu | wesentlich surjektiv (dicht) | additiv | exakt | abgeleitet | glatt
Produkt | Differenzkern | Faserprodukt | Ende
Filtrierter Kolimes | Koprodukt | Differenzkokern | Kofaserprodukt
Kan-Erweiterung | Monade | Komonade | Kategorie der Elemente | Kommakategorie | Pfeilkategorie | Homotopie-Kategorie
Lemma von Yoneda | Fixpunktsatz von Lawvere | Einbettungssatz von Mitchell
Hom-Funktor | Potenzmengenfunktor | Diagonalfunktor | Ext | Tor
