Categorical Models of PILL

Rasmus Ejlers Møgelberg, Lars Birkedal, Rasmus Lerchedahl Petersen

Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

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.
Original languageEnglish
Place of PublicationCopenhagen
PublisherIT-Universitetet i København
EditionTR-2005-58
Number of pages17
ISBN (Electronic)87-7949-087-5
Publication statusPublished - Feb 2005
Externally publishedYes
SeriesIT University Technical Report Series
NumberTR-2005-58
ISSN1600-6100

Fingerprint

Dive into the research topics of 'Categorical Models of PILL'. Together they form a unique fingerprint.

Cite this