Pataraia's theorem
In mathematics, Pataraia's theorem states each monotone map for an inductive poset admits a least fixed point, where an inductive poset means a dcpo with a least element.[1][2] It was introduced by Dito Pataraia in 1997.[3] The theorem is a variant of the Bourbaki–Witt theorem.
See also
References
- ↑ Escardo 2003, Corollary 2.1.
- ↑ Example 6.7.12. in Taylor, Paul (13 May 1999). Practical Foundations of Mathematics. Cambridge University Press. ISBN 978-0-521-63107-5., nlab entry at
- ↑ Dito Pataraia. A constructive proof of Tarski’s fixed-point theorem for dcpo’s. Presented in the 65th Peripatetic Seminar on Sheaves and Logic, in Aarhus, Denmark, November 1997.
- Paul Taylor, A Fixed Point Theorem for Categories
- Jean Goubault-Larrecq, Bourbaki, Witt, and Dito Pataraia,
- Andrej Bauer, Peter LeFanu Lumsdaine, On the Bourbaki-Witt Principle in Toposes, Math. Proc. Cam. Phil. Soc. 155 (2013), no. 1, 87–99 doi:10.1017/S0305004113000108, arXiv:1201.0340.
- Martin Escardo. Joins in the frame of nuclei. Applied Categorical Structures 11: 117–124, 2003. https://doi.org/10.1023/A:1023555514029
- https://martinescardo.github.io/TypeTopology/Various.Pataraia.html