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.