Kategori (matematik)

Matematikte, bir kategori (bazen somut kategoriden ayırmak için soyut kategori olarak da adlandırılır), "oklar" ile birbirine bağlanan "nesneler" koleksiyonudur. Bir kategorinin iki temel özelliği vardır. Bunlar okları birleşmeli olarak oluşturma yeteneği ve her nesne için bir birim okunun varlığıdır. Basit bir örnek; nesneleri küme olan ve okları işlev olan kümeler kategorisidir.

A, B, C nesneleri ve f, g, g ∘ f ile gösterilen morfizmler koleksiyonunu içeren bir kategori. Döngüler birim oklarıdır. Bu kategori tipik olarak kalın yazı karakteriyle gösterilir "3" .

Ayrıca bakınız

• Kategori teorisi

Kaynakça

• Abstract and Concrete Categories (PDF), Wiley, 1990, ISBN 0-471-60922-6, 21 Nisan 2015 tarihinde kaynağından arşivlendi (PDF), erişim tarihi: 19 Haziran 2023  (now free on-line edition, GNU FDL).
• Categories, Types and Structures, MIT Press, 1991, ISBN 0-262-01125-5 .
• Category theory, Oxford logic guides, 49, Oxford University Press, 2006, ISBN 978-0-19-856861-2 .
• Toposes, Triples and Theories, Reprints in Theory and Applications of Categories, 12, 2005, 7 Şubat 2018 tarihinde kaynağından arşivlendi, erişim tarihi: 19 Haziran 2023  .
• "Handbook of Categorical Algebra", Encyclopedia of Mathematics and its Applications, 50–52, Cambridge: Cambridge University Press, 1994, ISBN 0-521-06119-9  .
• Category Theory, Heldermann Verlag, 2007, ISBN 978-3-88538-001-6 .
• Basic algebra, 2nd, Dover, 2009, ISBN 978-0-486-47187-7  .
• Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, 1997, ISBN 0-521-47249-0 .
• Categories for the Working Mathematician, Graduate Texts in Mathematics, 5, Springer-Verlag, 1998, ISBN 0-387-98403-8  .
• Zalta, Edward N., (Ed.) (2006), "Category Theory", Stanford Encyclopedia of Philosophy  .
• What is category theory?, Advanced studies in mathematics and logic, 3, Polimetrica, 2006, ISBN 978-88-7699-031-1 .