zbMATH — the first resource for mathematics

Bicategories of fractions for groupoids in monadic categories. (English) Zbl 1350.18005
Summary: The bicategory of fractions of the 2-category of internal groupoids and internal functors in groups with respect to weak equivalences (i.e., functors which are internally full, faithful and essentially surjective) has an easy description: one has just to replace internal functors by monoidal functors. In the present paper, we generalize this result from groups to any monadic category over a regular category \(\mathcal C\), assuming that the axiom of choice holds in \(\mathcal C\). For \(\mathbb T\) a monad on \(\mathcal C\), the bicategory of fractions of \(\mathrm{Grpd}(\mathcal C^{\mathbb{T}})\) with respect to weak equivalences is now obtained replacing internal functors by what we call \(\mathbb T\)-monoidal functors. The notion of \(\mathbb T\)- monoidal functor is related to the notion of pseudo-morphism between strict algebras for a pseudo-monad on a 2-category.

18B40 Groupoids, semigroupoids, semigroups, groups (viewed as categories)
18C15 Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)
18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
Full Text: DOI
[1] [1] O. Abbad, S. Mantovani, G. Metere and E.M. Vitale, Butter ies in a semi-abelian context, Advances in Mathematics 238 (2013) 140-183. · Zbl 1284.18012
[2] J.C. Baez and A.S. Crans, Higher-dimensional algebra VI: Lie 2-algebras, Theory and Appli- cations of Categories 12 (2004) 492-538. · Zbl 1057.17011
[3] J. Béenabou, Introduction to bicategories, Springer LNM 40 (1967) 1-77. · Zbl 1375.18001
[4] F. Borceux, Handbook of Categorical Algebra 1, Cambridge University Press (1994). · Zbl 0803.18001
[5] F. Borceux, Handbook of Categorical Algebra 2, Cambridge University Press (1994). · Zbl 0843.18001
[6] M. Bunge and R. Parée, Stacks and equivalence of indexed categories, Cahiers de Topologie et Géeoméetrie Difféerentielle Catéegoriques 20 (1979) 373-399.
[7] P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, Springer (1967). · Zbl 0186.56802
[8] M. Grandis, Simplicial homotopical algebras and satellites, Applied Categorical Structures 5 (1997) 75-97. · Zbl 0872.18005
[9] I.J. Le Creurer, F. Marmolejo and E.M. Vitale, Beck’s theorem for pseudo-monads, Journal of Pure and Applied Algebra 173 (2002) 293-313. · Zbl 1003.18007
[10] F. Marmolejo, Distributive laws for pseudo-monads, Theory and Applications of Categories 5 (1999) 91-147. · Zbl 0919.18004
[11] B. Noohi, Notes on 2-groupoids, 2-groups and crossed modules, Homology, Homotopy and Applications 9 (2007) 75-106. · Zbl 1221.18002
[12] D. Pronk, Etendues and stacks as bicategories of fractions, Compositio Mathematica 102 (1996) 243-303. · Zbl 0871.18003
[13] E.M. Vitale, On the characterization of monadic categories over Set, Cahiers de Topologie et Géeoméetrie Difféerentielle Catéegoriques 35 (1994) 351-358.
[14] E.M. Vitale, Bipullbacks and calculus of fractions, Cahiers de Topologie et Géeoméetrie Difféerentielle Catéegoriques 51 (2010) 83-113.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.