Cáccamo, Mario Jose, and Glynn Winskel. “A Higher-Order Calculus for Categories”. BRICS Report Series 8, no. 27 (June 4, 2001). Accessed January 22, 2026. https://tidsskrift.dk/brics/article/view/21687.