nLab Robin Cockett

Robin Cockett is a computer scientist based in Calgary.

• home page

Selected writings

• R. Blute, J.R.B. Cockett, T. Porter, R.A.G.Seely, Kähler categories, Cahiers Top.

  Géom. Diff. cat., 52 (2011) 253 – 268 (pdf)

On categorical semantics for the exponential modality in linear logic:

• R. F. Blute , J. R. B. Cockett, R. A. G. Seely, ! and ? – Storage as tensorial strength, Mathematical Structures in Computer Science 6 4 (1996) 313-351 [doi:10.1017/S0960129500001055]

• J. R. B. Cockett and R. A. G. Seely, Linearly distributive functors, Journal of Pure and Applied Algebra 143 (1999) 155–203, doi:10.1016/S0022-4049(98)00110-8

Introducing differential categories:

• R. F. Blute, J. R. B. Cockett, and R. A. G. Seely: Differential categories. Math. Struct. Comput. Sci. 16(06), 1049–1083 (2006) (doi:10.1017/S0960129506005676)

• Richard Blute, Robin Cockett, Jean-Simon Lemay and Robert Seely, Differential categories revisited, Appl. Categ. Struct. 28, 171-235 (2020). (arXiv:1806.04804, doi:10.1007/s10485-019-09572-y)

On message-passing:

• J. R. B. Cockett, Craig Pastro, The logic of message-passing (arXiv:math/0703713).

On characterizing dagger categories in terms of inner product categories:

• Robin Cockett, Durgesh Kumar, Priyaa Varshinee Srinivasan, Unitary, Inner product, and Dagger categories [arXiv:2603.27614]

category: people