Mengen/Kategorie/Beispiel
< Mengen
Die Klasse aller Mengen bildet zusammen mit der Menge der Abbildungen zwischen zwei Mengen, der Verknüpfung von Abbildungen und den Identitäten auf einer Menge eine Kategorie. Man spricht von der Kategorie der Mengen. Die Assoziativität ist durch Fakt gesichert.