Robuta

https://scholars.nova.edu/en/publications/pointfree-functorial-polar-functions-2/ Pointfree Functorial Polar Functions - Nova Southeastern University nova southeastern university pointfree functorial polar functions