Categorical Models of PILL

TR-2005-58, Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen

Rasmus Ejlers Møgelberg
Lars Birkedal
Rasmus Lerchedahl Petersen

February 2005

Abstract

We review the theory of adjunctions and comonads in the 2-category of symmetric monoidal adjunctions. This leads to the definitions of linear adjunctions, linear categories and models of DILL. This theory is generalized to the fibred case, and we define models of PILL and PILLY and morphisms between them.

---

Technical report TR-2005-58 in IT University Technical Report Series,
February 2005.
Available as PDF.