nLab Richard Blute

Rick Blute is a mathematician at the University of Ottawa. His areas of interest include the relations of category theory with quantum computing and mathematical physics.

His primary research areas are:

• Linear logic, most recently differential linear logic
• Categorical Logic and proof theory
• Category theory, especially monoidal categories
• Applications of category theory to physics

see also his

• webpage

• archive departmental webpage

Related entries

• linear logic, linear type theory

• differential category

Selected writings

On categorical semantics of linear type theory (such as for the exponential modality):

• Richard Blute, Philip Scott, Category theory for linear logicians, in: Linear Logic in Computer Science, Cambridge University Press (2004) 3-64 [doi:10.1017/CBO9780511550850.002, pdf]

• 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]

• 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)

• Richard Blute, Prakash Panangaden, R. A. G. Seely, Fock Space: A Model of Linear Exponential Types (1994) (web, pdf)

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)

category: people