Categorical Models of PILL

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

Categorical Models of PILL

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

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

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.

Originalsprog	Engelsk

Udgivelsessted	Copenhagen
Forlag	IT-Universitetet i København
Udgave	TR-2005-58
Antal sider	17
ISBN (Elektronisk)	87-7949-087-5
Status	Udgivet - feb. 2005
Udgivet eksternt	Ja

Navn	IT University Technical Report Series
Nummer	TR-2005-58
ISSN	1600-6100

Adgang til dokumentet

ITU-TR-2005-58 pdfForlagets udgivne version, 200 KB

Citationsformater

@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.",

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",

}

TY - RPRT

T1 - Categorical Models of PILL

AU - Møgelberg, Rasmus Ejlers

AU - Birkedal, Lars

AU - Lerchedahl Petersen, Rasmus

PY - 2005/2

Y1 - 2005/2

N2 - 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.

AB - 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.

M3 - Report

T3 - IT University Technical Report Series

BT - Categorical Models of PILL

PB - IT-Universitetet i København

CY - Copenhagen

ER -

Categorical Models of PILL

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater