Zusammenfassung
Hat man Kategorien definiert, stellt sich die Frage, was die Beziehungen zwischen Kategorien sind. Da Kategorien eine interne Struktur haben, gegeben durch Objekte, Morphismen, Komposition und Identitäten, lassen sich funktionale Beziehungen zwischen Kategorien durch Abbildungen herstellen, die diese Struktur bewahren. Wie Graph- und Σ-Homomorphismen sind Funktoren, die Morphismen zwischen Kategorien, definiert als Abbildungen der Objekte und Morphismen, die mit Komposition und Identitäten vertraglich sind. So lassen sich Kategorien von Kategorien konstruieren, sofern man die Größe der Objektkategorien geeignet beschränkt. (Eine Kategorie aller Kategorien ergibt ähnliche Schwierigkeiten wie eine Menge aller Mengen — siehe dazu auch Anm. 3.7.2.)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H., Mahr, B., Große-Rhode, M., Cornlius, F., Zeitz, P. (2001). Funktoren und natürliche Transformationen. In: Mathematisch-strukturelle Grundlagen der Informatik. Springer-Lehrbuch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56792-6_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-56792-6_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41923-5
Online ISBN: 978-3-642-56792-6
eBook Packages: Springer Book Archive