Categorical Models of PILL
TR-2005-58, Authors: Rasmus Ejlers Møgelberg, Lars Birkedal and Rasmus Lerchedahl Petersen Rasmus Ejlers Møgelberg
Rasmus Lerchedahl Petersen
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
Available as PDF