تُعرَّف الخاصية الشاملة في الرياضيات بأنها خاصية يختص بها كائن في فئة تجعله كائنا ممثلًا لمدلل ما (ذي تباين مشارك أو معاكس) بقيمة مجموعة، ويكون ذلك المدلل معرَّفًا في الفئة. وبتعبير آخر، دع C {\displaystyle C\!} فئة و F : : --> C → → --> S {\displaystyle F\!\colon C\!\rightarrow S\!} مدللًا (نتعامل هنا مع حالة التباين المشارك)، يكون العنصر الشامل من F {\displaystyle F\!} هو الزوج ( A , x ) {\displaystyle (A\!,x)} حيث A {\displaystyle A\!} كائن من C {\displaystyle C\!} و x ∈ ∈ --> F ( A ) {\displaystyle x\in F\!(A\!)} بحيث أنه لكل زوج مماثل ( B , y ) {\displaystyle (B\!,y)} توجد f : : --> A → → --> B {\displaystyle f\colon A\!\rightarrow B\!} وحيدة في C {\displaystyle C\!} تحقق F ( f ) ( x ) = y {\displaystyle F\!(f)(x)=y} . إن التوافق بين y {\displaystyle y} و f {\displaystyle f} يعرِّف تساوي شكل طبيعيًّا بين F {\displaystyle F\!} والمدلل Hom C ( A , − − --> ) {\displaystyle {\text{Hom}}_{C\!}(A\!,-)} ، ويُقال عن الكائن A {\displaystyle A\!} أنه كائن ممثِّل (أو تمثيل) لـ F {\displaystyle F\!} ، وخاصيته الشاملة هي حيازته للعنصر الشامل x {\displaystyle x} .[1]
هذه بذرة مقالة عن الرياضيات او موضوع متعلق بها بحاجة للتوسيع. فضلًا شارك في تحريرها.
Lokasi Pengunjung: 3.128.199.105