Related papers: Bipullbacks of fractions and the snail lemma
We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization…
We study the interaction between the notions of filteredness, fractions and fibrations in the theory of bicategories, generalizing classical results for categories. We give an explicit formula for filtered pseudo-colimits of categories…
We study the existence and uniqueness of direct sum decompositions in additive bicategories. We find a simple definition of Krull-Schmidt bicategories, for which we prove the uniqueness of decompositions into indecomposable objects as well…
We study the notion of a bifibration in simplicial sets which generalizes the classical notion of two-sided discrete fibration studied in category theory. If $A$ and $B$ are simplicial sets we equip the category of simplicial sets over…
We construct the algebra of fractions of a Weak Bialgebra relative to a suitable denominator set of group-like elements that is `almost central', a condition we introduce in the present article which is sufficient in order to guarantee…
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…
This paper adresses two issues in dealing with bicategories of fractions. The first is to introduce a set of conditions on a class of arrows in a bicategory which is weaker than the one given in Pronk, Etendues and stacks as bicategories of…
We associate to a bimonoidal functor, i.e. a bifunctor which is monoidal in each variable, a nonabelian version of a biextension. We show that such a biextension satisfies additional triviality conditions which make it a bilinear analog of…
We fix any bicategory $\mathscr{A}$ together with a class of morphisms $\mathbf{W}_{\mathscr{A}}$, such that there is a bicategory of fractions $\mathscr{A}[\mathbf{W}_{\mathscr{A}}^{-1}]$. Given another such pair…
In this paper, we state and prove precise theorems on the classification of the category of (braided) categorical groups and their (braided) monoidal functors, and some applications obtained from the basic studies on monoidal functors…
Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…
We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient…
We show that for a given exact category, there exists a bijection between semibricks (pairwise Hom-orthogonal set of bricks) and length wide subcategories (exact extension-closed length abelian subcategories). In particular, we show that a…
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the…
In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable…
Pronk's theorem on bicategories of fractions is applied, in almost all cases in the literature, to 2-categories of geometrically presentable stacks on a 1-site. We give an proof that subsumes all previous such results and which is purely…
We give a notion of equivalence for Fell bundles over groups, not necessarily saturated nor separable, and show that equivalent Fell bundles have Morita-Rieffel equivalent cross-sectional $C^*$-algebras. Our notion is originated in the…
We consider a notion of exact sequences in any -not necessarily exact- pointed category relative to a given (E;M)-factorization structure. We apply this notion to introduce and investigate a new notion of exact sequences of semimodules over…
We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…
Let A be an exact category, that is, an extension-closed full subcategory of an abelian category. Firstly, we give some necessary and sufficient conditions for A to have almost split sequences. Then, we study when an almost split sequence…