@article{10_1017_S0017089521000033, author = {TAGGART, NIALL}, title = {UNITARY {FUNCTOR} {CALCULUS} {WITH} {REALITY}}, journal = {Glasgow mathematical journal}, pages = {197--230}, year = {2022}, volume = {64}, number = {1}, doi = {10.1017/S0017089521000033}, url = {http://geodesic.mathdoc.fr/articles/10.1017/S0017089521000033/} }