The aim of this paper is to present a small calculus of extreme fixed points and to show it in action. The fixed-point theorem that was the main incentive for writing this paper is the fusion theorem presented in Section 3. It exploits the calculational properties of Galois connections.
Aarts, C., Backhouse, R. C., Boiten, E. A., Doornbos, H., Gasteren, van, A. J. M., Geldrop - van Eijk, van, H. P. J., Hoogendijk, P. F., Voermans, T. S., & Woude, van der, J. C. S. P. (1995). Fixed-point calculus. Information Processing Letters, 53(3), 131-136. https://doi.org/10.1016/0020-0190(94)00195-5