Enrichment through variation
Abstract: "We show that, for a closed bicategory W, the 2- category of tensored W-categories and all W-functors between them is equivalent to the 2-category of closed W-representations and maps of such, which in turn is isomorphic to a full sub-2-category of Lax(W, Cat). We further show that, i...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Edinburgh
1993
|
| Schriftenreihe: | Laboratory for Foundations of Computer Science <Edinburgh>: LFCS report series
254 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Abstract: "We show that, for a closed bicategory W, the 2- category of tensored W-categories and all W-functors between them is equivalent to the 2-category of closed W-representations and maps of such, which in turn is isomorphic to a full sub-2-category of Lax(W, Cat). We further show that, if [omega] is a locally dense subbicategory of W and W is biclosed, then the 2-category of W-categories having tensors with 1- cells of [omega] embeds fully into the 2-category of [omega]- representations This allows us to generalize Gabriel-Ulmer duality to W- categories and to prove, for W-categories, that for locally finitely presentable A and for B admitting finite tensors and filtered colimits, the category of W-functors from A[subscript f] to B is equivalent to that of finitary W-functors from A to B. |
|---|---|
| Beschreibung: | 22 S. |