نظرية باتارايا

في الرياضيات، تنص نظرية باتارايا على أن كل خريطة رتيبة${\displaystyle f:P\to P}$بالنسبة لمجموعة جزئية استقرائية${\displaystyle P}$تقبل هذه النظرية نقطة ثابتة صغرى ، حيث تعني المجموعة المرتبة جزئيًا الاستقرائية مجموعة مرتبة جزئيًا ذات عنصر صغرى. ^{[ 1 ] [ 2 ]} وقد قدمها ديتو باتارايا في عام 1997. ^{[ 3 ]} وتُعد هذه النظرية صيغة معدلة من نظرية بورباكي-ويت .

• نظرية ماركوفسكي

• بول تايلور، نظرية النقطة الثابتة للفئات
• جان جوبولت-لاريك، بورباكي، ويت، وديتو باتارايا،
• أندريه باور، بيتر ليفانو لومسدين، حول مبدأ بورباكي-ويت في التوبوس، وقائع الجمعية الفلسفية في كامبريدج 155 (2013)، العدد 1، 87-99 doi:10.1017/S0305004113000108، arXiv:1201.0340.
• مارتن إسكاردو. الوصلات في إطار النوى. البنى الفئوية التطبيقية 11: 117-124، 2003. https://doi.org/10.1023/A:1023555514029
• https://martinescardo.github.io/TypeTopology/Various.Pataraia.html

• https://ncatlab.org/nlab/show/fixed+point#pataraias_theorem
• https://golem.ph.utexas.edu/category/2012/10/the_curious_dependence_of_set.html#c042391