@book{64acbbdd194d489aa3b3fdfe2b0430bd,
title = "Categorical Models of PILL",
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. ",
keywords = "adjunctions, comonads, linear-logic, symmetric-monoidal-categories, fibred-categories",
author = "M{\o}gelberg, \{Rasmus Ejlers\} and Lars Birkedal and \{Lerchedahl Petersen\}, Rasmus",
year = "2005",
month = feb,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2005-58",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2005-58",
}