ضرب (نظریه رسته‌ها)
در نظریه رسته‌ها، ضرب تعداد دو یا بیشتر از اشیاء درون یک رسته، مفهومی است که به منظور تجریدسازی عصاره پشت مفاهیمی چون ضرب کارتزین مجموعه‌ها، ضرب مستقیم گروه ها یا حلقه ها و ضرب فضاهای برداری، طراحی شده است. اساساً ضرب خانواده ای از اشیاء، "کلی ترین" شیئی است که از آن به هر شیء دلخواه بتوان تشکیل ریخت داد.
منابع
- Adámek, Jiří; Horst Herrlich; George E. Strecker (1990). Abstract and Concrete Categories (PDF). John Wiley & Sons. ISBN 0-471-60922-6. Archived from the original (PDF) on 21 April 2015. Retrieved 14 February 2021.
- Barr, Michael; Charles Wells (1999). Category Theory for Computing Science (PDF). Les Publications CRM Montreal (publication PM023). Archived from the original (PDF) on 2016-03-04. Retrieved 2016-03-21. Chapter 5.
- Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics 5 (2nd ed.). Springer. ISBN 0-387-98403-8.
- Definition 2.1.1 in Borceux, Francis (1994). Handbook of categorical algebra. Encyclopedia of mathematics and its applications 50–51, 53 [i.e. 52]. Vol. Volume 1. Cambridge University Press. p. 39. ISBN 0-521-44178-1.
پیوند به بیرون
- Interactive Web page which generates examples of products in the category of finite sets. Written by Jocelyn Paine.
- Product in nLab