Related papers: Groupoids in categories with pretopology

We recall several categories of graphs which are useful for describing homotopy-coherent versions of generalized operads (e.g. cyclic operads, modular operads, properads, and so on), and give new, uniform definitions for their morphisms.…

We propose a new model for multicategories with symmetries with respect to Zhang's group operads. The fully faithful embedding of the category of group operads into that of crossed interval groups is made use of, and it is shown that every…

The aim of section 1 is to define the homotopic functor to category of Abelian groups, connected with the special classes of bundles with fiber matrix algebra or projective space. The aim of section 2 is to define some generalization of the…

An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of…

Given a category, one may construct slices of it. That is, one builds a new category whose objects are the morphisms from the category with a fixed codomain and morphisms certain commutative triangles. If the category is a groupoid, so that…

Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…

The aim of this paper is to provide a definition of groupoid and cogroupoid internal to a category which makes use of only one object and morphisms, in contrast with the two object approach commonly found in the literature. We will give…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

For a category B with finite products, we first characterize pseudofunctors from B to Cat whose corresponding opfibration is cartesian monoidal. Among those, we then characterize the ones which extend to pseudofunctors from internal groups…

We study actions of monoidal categories on objects in a suitably enriched $2$-category, and applications in stable homotopy theory. Given a monoidal category $\mathcal{I}$ and an $\mathcal{I}$-object $\mathcal{A}$, the (co)stabilization of…

We consider the 3-category $2\mathfrak{C}at$ whose objects are 2-categories, 1-morphisms are lax functors, 2-morphisms are lax transformations and 3-morphisms are modifications. The aim is to show that it carries interesting…

The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…

It is shown that the category of semi-biproducts in monoids is equivalent to a category of pseudo-actions. A semi-biproduct in monoids is at the same time a generalization of a semi-direct product in groups and a biproduct in commutative…

We study actions of finite groups on moduli spaces of stable holomorphic vector bundles and relate the fixed-point sets of those actions to representation varieties of certain orbifold fundamental groups.

In this article we discuss some general results on the covariant Picard groupoid in the context of differential geometry and interpret the problem of lifting Lie algebra actions to line bundles in the Picard groupoid approach.

We introduce an abstract topos-theoretic framework for building Galois-type theories in a variety of different mathematical contexts; such theories are obtained from representations of certain atomic two-valued toposes as toposes of…

We study extensions of double groupoids in the sense of \cite{AN2} and show some classical results of group theory extensions in the case of double groupoids. For it, given a double groupoid $(\mathcal{B}; \mathcal{V},\mathcal{H};…

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of…

For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…