Abstract
We generalise the usual notion of fibred category; first to fibred 2-categories and then to fibred bicategories. Fibred 2-categories correspond to 2-functors from a 2-category into 2Cat. Fibred bicategories correspond to trihomomorphisms from a bicategory into Bicat. We describe the Grothendieck construction for each kind of fibration and present a few examples of each. Fibrations in our sense, between bicategories, are closed under composition and are stable under equiv-comma. The free such fibration on a homomorphism is obtained by taking an oplax comma along an identity.
| Original language | English |
|---|---|
| Pages (from-to) | 1034-1074 |
| Number of pages | 41 |
| Journal | Journal of Pure and Applied Algebra |
| Volume | 218 |
| Issue number | 6 |
| DOIs | |
| Publication status | Published - Jun 2014 |
Fingerprint
Dive into the research topics of 'Fibred 2-categories and bicategories'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver