Skip to search boxSkip to navigationSkip to main content

Categorical Models of PILL

Research Output:
Book / Anthology / Report
Report

Open access

Publication Information

Output type

Research Output:
Book / Anthology / Report
Report

Original language

English

Publication milestones

  • Published - 02/2005

Publication status

Published - 02/2005

Place of publication

Copenhagen

Edition

TR-2005-58

Publisher

IT-Universitetet i København, Denmark

Book series

  • Book series name: IT University Technical Report Series
    Series number: TR-2005-58
    ISSN: 1600-6100

ISBN (Electronic)

87-7949-087-5

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.

Access to documents

ITU-TR-2005-58 pdf, opens in new tab
Final published version, 200.38 KB