On profunctors with application to computer science:
Gian Luca Cattani, Presheaf Models for Concurrency, PhD thesis from BRICS, University of Aarhus 1999 (pdf, pdf)
Gian Luca Cattani, G. Winskel, Profunctors, Open Maps, and Bisimulation , BRICS Report 04-22 (2004). (pdf)
Last revised on October 15, 2021 at 15:08:33. See the history of this page for a list of all contributions to it.