ضرب (نظریه رسته‌ها)

در نظریه رسته‌ها، ضرب تعداد دو یا بیشتر از اشیاء درون یک رسته، مفهومی است که به منظور تجریدسازی عصاره پشت مفاهیمی چون ضرب کارتزین مجموعه‌ها، ضرب مستقیم گروه ها یا حلقه ها و ضرب فضاهای برداری، طراحی شده است. اساساً ضرب خانواده ای از اشیاء، "کلی ترین" شیئی است که از آن به هر شیء دلخواه بتوان تشکیل ریخت داد.

منابع

    • Adámek, Jiří; Horst Herrlich; George E. Strecker (1990). Abstract and Concrete Categories (PDF). John Wiley & Sons. ISBN 0-471-60922-6.
    • 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]. Volume 1. Cambridge University Press. p. 39. ISBN 0-521-44178-1.

    پیوند به بیرون

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.