Mathematics – Category Theory
Scientific paper
2007-06-09
Theory Appl. Categ. 20 (2008), No. 18, 650--738
Mathematics
Category Theory
80 pages. Main definition simplified. Final version, to appear in TAC
Scientific paper
In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many bicategorical notions do not work well in these cases, because the `morphisms between 0-cells', such as ring homomorphisms, are missing. We can include them by using a pseudo double category, but usually these morphisms also induce base change functors acting on the 1-cells. We avoid complicated coherence problems by describing base change `nonalgebraically', using categorical fibrations. The resulting `framed bicategories' assemble into 2-categories, with attendant notions of equivalence, adjunction, and so on which are more appropriate for our examples than are the usual bicategorical ones. We then describe two ways to construct framed bicategories. One is an analogue of rings and bimodules which starts from one framed bicategory and builds another. The other starts from a `monoidal fibration', meaning a parametrized family of monoidal categories, and produces an analogue of the framed bicategory of spans. Combining the two, we obtain a construction which includes both enriched and internal categories as special cases.
No associations
LandOfFree
Framed bicategories and monoidal fibrations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Framed bicategories and monoidal fibrations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Framed bicategories and monoidal fibrations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-126318