## Framed Bicategories and Monoidal Fibrations (2007)

### Cached

### Download Links

Citations: | 6 - 1 self |

### BibTeX

@TECHREPORT{Shulman07framedbicategories,

author = {Michael Shulman},

title = {Framed Bicategories and Monoidal Fibrations},

institution = {},

year = {2007}

}

### OpenURL

### Abstract

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

### Citations

383 | Basic Concepts of Enriched Category Theory
- Kelly
- 1982
(Show Context)
Citation Context ... over V , or V -categories. Its vertical arrows are V -functors, its 1-cells are V -distributors, and its 2-cells are V -natural transformations. (Good references for enriched category theory include =-=[Kel82]-=- and [Dub70].) A V -distributor H : B �→ A is simply a V -functor H : A op ⊗ B → V . When A and B have one object, they are just monoids in V , and a distributor between them is a bimodule in V ; thus... |

224 |
Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics
- Lane
- 1998
(Show Context)
Citation Context ...FIBRATIONS 655 such that L(a), R(a), L(l), R(l), L(r), and R(r) are all identities, and such that the standard coherence axioms for a monoidal category or bicategory (such as Mac Lane’s pentagon; see =-=[ML98]-=-) are satisfied. We can think of a double category as an internal category in Cat which is suitably weakened, although this is not strictly true because Cat contains only small categories while we all... |

155 | Sketches of an elephant: A topos theory compendium - Johnstone - 2002 |

134 |
Review of the elements of 2-categories
- Kelly, Street
- 1974
(Show Context)
Citation Context ...fice. Since we are not writing primarily for category theorists, we have attempted to avoid or explain the more esoteric categorical concepts which arise. A classic reference for 2-category theory is =-=[KS74]-=-; a more modern and comprehensive one (going far beyond what we will need) is [Lac07]. The second important theme of this paper is the mixture of ‘algebraic’ and ‘nonalgebraic’ structures. A monoidal ... |

128 |
The formal theory of monads
- Street
- 1972
(Show Context)
Citation Context ...der to get a handle on internal or enriched functors purely bicategorically. In the next appendix we introduce a structure called an equipment which is sometimes used for this purpose, for example in =-=[LS02]-=-.sC. Equipments FRAMED BICATEGORIES AND MONOIDAL FIBRATIONS 733 For the theory of equipments we refer the reader to [Woo82, Woo85, CJSV94, Ver92]. From our point of view, it is natural to introduce th... |

109 | tricategories - Power, Why - 1995 |

84 |
Formal Category Theory: Adjointness for 2-Categories
- Gray
- 1974
(Show Context)
Citation Context ...ems with Mod-like bicategories is the lack of a good notion of adjunction between them. For example, Ross Street wrote the following in a review of [CKW91]: Nearly two decades after J. W. Gray’s work =-=[Gra74]-=-, the most useful general notion of adjointness for morphisms between 2-categories has still not emerged. Perhaps the good notion should depend on the kind of 2-categories in mind; 2-categories whose ... |

78 | Cartesian bicategories I - Carboni, Walters - 1987 |

43 | A 2-categorical approach to change of base and geometric morphisms I
- Carboni, Kelly, et al.
- 1990
(Show Context)
Citation Context ...property that L is a fibration, R is an opfibration, and the two types of base change commute, making it into a ‘two-sided fibration’ from D0 to D0 in the sense of [Str80]; these are essentially what =-=[CKVW98]-=- studies under the name ‘equipment’. The fact that L is also an opfibration, and R a fibration, in a commuting way, make (79) into what they call a starred pointed equipment. This structure incorporat... |

35 |
Kan extensions in enriched category theory
- Dubuc
- 1970
(Show Context)
Citation Context ... V -categories. Its vertical arrows are V -functors, its 1-cells are V -distributors, and its 2-cells are V -natural transformations. (Good references for enriched category theory include [Kel82] and =-=[Dub70]-=-.) A V -distributor H : B �→ A is simply a V -functor H : A op ⊗ B → V . When A and B have one object, they are just monoids in V , and a distributor between them is a bimodule in V ; thus we have an ... |

34 | Double groupoids and crossed modules, Cahiers Topologie G!eom. Diff!erent!ıelle Cat!egoriques 17 - Brown, Spencer - 1976 |

32 |
Doctrinal adjunction
- Kelly
- 1974
(Show Context)
Citation Context ...framed adjunction F ⊣ G, the left adjoint F is always a strong framed functor. Sketch of Proof. This actually follows formally from a general 2-categorical result known as ‘doctrinal adjunction’; see =-=[Kel74]-=-. For the non-2-categorically inclined reader we sketch a more concrete version of the proof. We first show that the following composite is an inverse to F⊙ : F M ⊙ F N → F (M ⊙ N): F (M ⊙ N) F (η⊙η) ... |

32 | structures on 2-categories - Street, Walters, et al. - 1978 |

31 | Handbook of categorical algebra. 2, volume 51 of Encyclopedia of Mathematics and its Applications - Borceux - 1994 |

29 | Double categories, 2-categories, thin structures and connections’, Theory and Applications of Categories 5 - Brown, Mosa - 1999 |

19 | Enriched categories and cohomology - Street - 1981 |

18 | An algebraic theory of tricategories - Gurski - 2006 |

16 | Pseudo algebras and pseudo double categories
- Fiore
- 2006
(Show Context)
Citation Context ... relationship to various parts of bicategory theory. ∼= ∼= (75)sFRAMED BICATEGORIES AND MONOIDAL FIBRATIONS 729 For further detail on connection pairs, we refer the reader to [BS76, BM99] and also to =-=[Fio06]-=-, which proved that connection pairs are equivalent to ‘foldings’. Our presentation of the theory differs from the usual one because we focus on the pseudo case, which turns out to simplify the defini... |

16 | Limits in double categories - Grandis, Pare - 1999 |

16 | Picard groups, Grothendieck rings, and Burnside rings of categories
- May
(Show Context)
Citation Context ...l category, considered as a one-object bicategory, an adjunction in C is better known as a dual pair in C , and one speaks of an object Y as being left or right dual to an object X; see, for example, =-=[May01]-=-. When C is symmetric monoidal, left duals and right duals coincide. 5.1. Examples. When C = ModR for a commutative ring R, the dualizable objects are the finitely generated projectives. When C is the... |

16 |
Parametrized Homotopy Theory, volume 132
- May, Sigurdsson
(Show Context)
Citation Context ...es in D. The second starts with a different ‘parametrized monoidal structure’ called a monoidal fibration, and is essentially the same as the construction of the bicategory of parametrized spectra in =-=[MS06]-=-. In §§12–13 we introduce monoidal fibrations, and in §14 we explain the connection to framed bicategories. Then in §15, we combine these two constructions and thereby obtain a natural theory of ‘cate... |

16 | Enriched categories, internal categories, and change of base
- Verity
- 1992
(Show Context)
Citation Context ...ver, we would need morphisms and especially transformations between equipments, and it is not immediately obvious how to define these. The approach to constructing a 2-category of equipments taken in =-=[Ver92]-=- is essentially to first make equipments into double categories, as we have done, and define morphisms and transformations of equipments to be morphisms between the corresponding double categories. Th... |

16 | Sheaves and Cauchy-Complete Categories, Cahiers de Top. et Gom - Walters - 1981 |

15 | Multiple functors I, Limits relative to double categories - Bastiani, Ehresmann - 1974 |

14 |
An axiomatics for bicategories of modules
- Carboni, Kasangian, et al.
- 1987
(Show Context)
Citation Context ...tegory theory can be regarded as implicitly working with the framed bicategory Adj(B); frequently 1-cells with right adjoints are called maps and take on a special role. See, for example, [Str81] and =-=[CKW87]-=-. This purely bicategorical approach works well in bicategories like Dist(V ), because, as we mentioned in Example 5.6(iii), the mild condition of ‘Cauchy completeness’ on the V -categories involved i... |

12 | Cauchy characterization of enriched categories
- Street
- 1983
(Show Context)
Citation Context ...of pure bicategory theory can be regarded as implicitly working with the framed bicategory Adj(B); frequently 1-cells with right adjoints are called maps and take on a special role. See, for example, =-=[Str81]-=- and [CKW87]. This purely bicategorical approach works well in bicategories like Dist(V ), because, as we mentioned in Example 5.6(iii), the mild condition of ‘Cauchy completeness’ on the V -categorie... |

11 |
Fibrations in bicategories
- Street
- 1980
(Show Context)
Citation Context ...hendieck and his school; see, for example [sga03, Exposé VI]. Modern references include [Joh02a, B1.3] and [Bor94, Ch. 8]. More abstract versions can be found in the 2-categorical literature, such as =-=[Str80]-=-. 3.1. Definition. Let Φ : A → B be a functor, let f : A → C be an arrow in B, and let M be an object of A with Φ(M) = C. An arrow φ : f ∗ M → M in A is cartesian over f if, firstly, Φ(φ) = f: f ∗M φ ... |

9 | The periodic table of n-categories for low dimensions I: degenerate categories and degenerate bicategories
- Cheng, Gurski
- 2007
(Show Context)
Citation Context ...d 2-functors between such bicategories do also correspond to monoidal functors, but most transformations between such 2-functors do not give rise to anything resembling a monoidal transformation; see =-=[CG06]-=-. Thus, framed bicategories are a better generalization of monoidal categories than ordinary bicategories are. 6.10. Example. Let C and D be monoidal categories with coequalizers preserved by ⊗, and l... |

9 | Revêtements étales et groupe fondamental (SGA 1), Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 3, Société Mathématique de - Grothendieck - 2003 |

7 | Adjoint for double categories. Addenda to: “Limits in double categories - Grandis, Pare - 1999 |

7 | On property-like structures
- Kelly, Lack
- 1997
(Show Context)
Citation Context ... the right adjoint of a strong monoidal functor is always lax monoidal. These are consequences of ‘doctrinal adjunction’ (see Proposition 8.2 and [Kel74]) and a property called ‘lax-idempotence’ (see =-=[KL97]-=-). In many cases, F0 and G0 are the identity, and the entire adjunction is ‘over B’ in the sense introduced in Definition 12.5. 14.14. Example. Let C have finite limits and finite colimits preserved b... |

6 | Categories enriched on two sides - Kelly, Labella, et al. |

5 | The periodic table of n-categories for low dimensions ii: degenerate tricategories - Cheng, Gurski |

4 |
Double clubs. Cahiers Topologie Géom
- Garner
(Show Context)
Citation Context ...adjoint, and hence by Proposition 8.2 is strong. As is the case for categories, we can also characterize framed adjunctions using universal arrows. A similar result for double categories was given in =-=[Gar07]-=-. Recall that given a functor G: E → D, a universal arrow to G is an arrow η : A → GF A in D, for some object F A ∈ E , such that any other arrow A → GY factors through η via a unique map F A → Y in E... |

4 | Abstract proarrows - Wood - 1982 |

3 |
On local adjointness of distributive bicategories
- Betti, Power
- 1988
(Show Context)
Citation Context ...ual. In contrast to these well-behaved cases, a framed adjunction F : D ⇄ E : G does not generally give rise to a biadjunction D ⇄ E. It does, however, give rise to a local adjunction in the sense of =-=[BP88]-=-; this consists of an oplax 2-functor F : D → E, a lax 2-functor G: E → D, and an adjunction D(A, GB) ⇄ E(F A, B). (78) In a biadjunction, F and G would be pseudo 2-functors and (78) would be an equiv... |

3 |
On comparing definitions of weak n-category. Available at http://www.math.mcgill.ca/makkai
- Makkai
- 2001
(Show Context)
Citation Context ... universal property, and the definition merely stipulates that an object satisfying that property exists, rather than choosing a particular such object as part of the structure. In the terminology of =-=[Mak01]-=-, they are virtual operations. The ‘algebraic’ notion corresponding to a fibration Φ: A → B is a pseudofunctor P : B op → Cat. Given a fibration Φ, if we choose a cleavage, then we obtain, for eachsFR... |

3 |
Shadows and traces in bicategories
- Ponto, Shulman
(Show Context)
Citation Context ...rk came from the bicategorical ‘shadows’ of [Pon07], and a desire to explain in what way they are actually the same as the horizontal composition in the bicategory; we will do this in the forthcoming =-=[PS08]-=-. I would like to thank my advisor, Peter May, as well as Kate Ponto, for many useful discussions about these structures; Tom Fiore, for the idea of using double categories; and Joachim Kock and Steph... |

3 | Absolute colimits in enriched categories - Street |

3 | Cahiers Topologie Géom. Différentielle Catég - Proarrows - 1985 |

2 | A 2-categories companion
- Lack
- 2007
(Show Context)
Citation Context ...o avoid or explain the more esoteric categorical concepts which arise. A classic reference for 2-category theory is [KS74]; a more modern and comprehensive one (going far beyond what we will need) is =-=[Lac07]-=-. The second important theme of this paper is the mixture of ‘algebraic’ and ‘nonalgebraic’ structures. A monoidal category is an algebraic structure: the product is a specified operation on objects. ... |

2 | Fixed point theory and trace for bicategories
- Ponto
- 2007
(Show Context)
Citation Context ...nal category in Top with a disjoint section adjoined. Certain monoids in Sp arising in this way from the topologized fundamental groupoid ΠM or path-groupoid PM of a space M play an important role in =-=[Pon07]-=-. A good case can be made (see [MS06]) that a monoid in Sp is the right parametrized analogue of a classical ring spectrum, since when its space of objects is a point, it reduces to an orthogonal ring... |

2 | Spans for 2-categories - Pare, Pronk, et al. - 2006 |

1 |
Fibrations relatives. Seminaire de Theorie des Categories, dirige par
- Gouzou, Grunig
- 1976
(Show Context)
Citation Context ...sly to Example 15.6, that monoids in Ab(E ) give a good notion of a ‘bundle of rings’. The theory of such relative enriched categories appears to be fairly unexplored; the only references we know are =-=[GG76]-=- and [Prz07]. We will explore this theory more extensively in a later paper; in many ways, it is very similar to classical enriched category theory. We end with one further example of this phenomenon.... |

1 |
Enriched vs. internal categories
- Przybylek
- 2007
(Show Context)
Citation Context ...ple 15.6, that monoids in Ab(E ) give a good notion of a ‘bundle of rings’. The theory of such relative enriched categories appears to be fairly unexplored; the only references we know are [GG76] and =-=[Prz07]-=-. We will explore this theory more extensively in a later paper; in many ways, it is very similar to classical enriched category theory. We end with one further example of this phenomenon. If V is an ... |

1 | Algebraic Tricategories - Gurski - 2006 |

1 | The periodic table in low dimensions i: degenerate categories and degenerate bicategories. To appear in proceedings of the Streetfest. Available online at http://math.unice.fr/∼eugenia/degeneracy - Cheng, Gurski - 2006 |