In this paper we construct a symmetric monoidal closed model category of coherently commutative Picard groupoids. We construct another model category structure on the category of (small) permutative categories whose fibrant objects are (permutative) Picard groupoids. The main result is that the Segal's nerve functor induces a Quillen equivalence between the two aforementioned model categories. Our main result implies the classical result that Picard groupoids model stable homotopy one-types.
It is shown that the category of presheaves of simplicial groupoids and the category of presheaves of 2-groupoids have Quillen closed model structures. Furthermore, their homotopy categories are equivalent to the homotopy categories of simplicial presheaves and homotopy 2-types, respectively.
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$. This spectrum has stable homotopy groups concentrated in levels 0, 1, and 2. In this paper, we describe part of the Postnikov data of $K\mathcal{D}$ in terms of categorical structure. We use this to show that there is no strict skeletal Picard 2-category whose $K$-theory realizes the 2-truncation of the sphere spectrum. As part of the proof, we construct a ca…
The aim of this paper is to present a simplified version of the notion of $\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to introduce a definition of $\infty$-categories inspired by Grothendieck's approach.
We define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $Θ_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category of simplicial sets and that 2-truncated groupoidal 2-quasi-categories are models for homotopy 2-types.
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting of a space, two subspaces, and a set of base points, under a condition which also implies that this double groupoid contains two second relative homotopy groups.
We prove that relative functors out of a cofibration category are essentially the same as relative functors which are only defined on the subcategory of cofibrations. As an application we give a new construction of the functor that assigns to a groupoid its groupoid $C^*$-algebra and thereby its topological $K$-theory spectrum.
The goal of the paper is to categorify Dijkgraaf-Witten theory, aiming at providing foundation for a direct construction of Dijkgraaf-Witten theory as an Extended Topological Quantum Field Theory. The main tool is cohomology with coefficients in a Picard groupoid, namely the Picard groupoid of hermitian lines.
In this study, using the Brown-Spencer theorem and in the ligth of the works of Norrie, in the category of internal categories within groups, also called group-groupoids, we interpret the notion of actor of a crossed module over groups. Further, we construct the action of a group-groupoid on a group-groupoid. Moreover, we give the explicit construction of semi-direct product of two group-groupoids and of holomorph of group-groupoids.
English abstract: This work contains of five chapters: The first one deals with Morita equivalence of star algebras. In particular star algebras which are equipped with a symmetry given by a Hopf (star-) algebra. In the second chapter we describe the equivariant Picard group and the equivariant Picard groupoid, which are a direct consequence of the results from the first chapter. We calculated the kernel and the image of the groupoid morphism from the equivariant Picard groupoid into the normal one. We give furthermore a formalized version of Morita invariance: given by a functor from the Pica…
We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are needed for this theory. We check these extra assumptions in several categories with pretopologies. Functors between groupoids may be localised at equivalences in two ways. One uses spans of functors, the other bibundles (commuting actions) of groupoids. We show that both approaches give equivalent bicategories. Another type of groupoid morphisms, called acto…
This paper provides several characterizations of final functors between internal groupoids in Barr-exact categories. In particular, it is proved that an internal functor between groupoids is final if and only if it is full and essentially surjective.
This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids effectively replace higher homotopy groups in quasi-category homotopy theory.
The paper studies analytic functors between presheaf categories. Generalising results of A. Joyal and of R. Hasegawa for analytic endofunctors on the category of sets, we give two characterisations of analytic functors between presheaf categories over groupoids: (i) as functors preserving filtered colimits, quasi-pullbacks, and cofiltered limits; and (ii) as functors preserving filtered colimits and wide quasi-pullbacks. The development establishes that small groupoids, analytic functors between their presheaf categories, and quasi-cartesian natural transformations between them form a 2-catego…
We analyze the action of the Brauer-Picard group of a pointed fusion category on the set of Lagrangian subcategories of its center. Using this action we compute the Brauer-Picard groups of pointed fusion categories associated to several classical finite groups. As an application, we construct new examples of weakly group-theoretical fusion categories.
We classify various types of graded extensions of a finite braided tensor category $\cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $\cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $\cal B$ (consisting of invertible central $\cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categorie…
A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialised groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialised small category whose object set is a strict preorder and the morphisms admit a factorisation property. A pair of `related' normal categories constitutes a cross-connection. Both inductive groupoids and cross-connections were identified by Nambooripad \cite{mem,cross} as categorical models of regular semigroups. We explore the inter-relationship between these…
The notes were prepared for a series of talks that I gave in Hagen in late June and early July 2003, and, with some changes, in the University of La Laguña, the Canary Islands, in September, 2003. They aim (i) to revisit some oldish material on abstract homotopy and simplicial ly enriched categories, that seems to be being used in today's resurgence of interest in the area and to try to view it in a new light, or perhaps from new directions; (ii) to introduce Segal categories and various other tools used by the Nice-Toulouse group of abstract homotopy theorists and link them into some of the o…
We prove that the folk model structure on strict $\infty$-categories transfers to the category of strict $\infty$-groupoids (and more generally to the category of strict $(\infty, n)$-categories), and that the resulting model structure on strict $\infty$-groupoids coincides with the one defined by Brown and Golasinski via crossed complexes.
We define a new model structure on the category of small categories, which is intimately related to the notion of coverings and fundamental groups of small categories. Fibrant objects in the model structure coincide with groupoids, and the fibrant replacement is the groupoidification.
This unpublished note contains some materials taken from my old study note on groupoids and small categories. It contains a proof for the fact that any groupoid is a group bundle over an equivalence relation. Moreover, the action of a category $G$ on a category $H$ as well as the resulting semi-direct product category $H\times_αG$ will be defined (when either $G$ is a groupoid or $H^{(0)} = G^{(0)}$). If both $G$ and $H$ are groupoids, then $H\times_αG$ is also a groupoid. The reason of producing this note is for people who want to check some details in a recent work of Li.
We develop a general theory which enables the computation of the Picard group of a symmetric monoidal triangulated category, equipped with a weight structure, in terms of the Picard group of the associated heart. As an application, we compute the Picard group of several categories of motivic nature - mixed Artin motives, mixed Artin-Tate motives, motivic spectra, noncommutative mixed Artin motives, noncommutative mixed motives of central simple algebras, noncommutative mixed motives of separable algebras - as well as the Picard group of the derived categories of symmetric ring spectra.
In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I show that any VB-groupoid is isomorphic to an action groupoid associated to a weak representation on its kernel groupoid; this relationship defines an equivalence of categories between the categories of weak representations of $G$ and the category of VB-groupoids over $G$.
Categorical rings were introduced by Jibladze and Pirashvili in their paper "Third Mac Lane cohomology via categorical rings", Journal of Homotopy and related structures, 2, 2007, 187-216. We call those "2-rings". In these notes we present basic definitions and results regarding 2-modules. This is work in progress.
In this paper, we state the notion of morphisms in the category of abelian crossed modules and prove that this category is equivalent to the category of strict Picard categories and regular symmetric monoidal functors. The theory of obstructions for symmetric monoidal functors and symmetric cohomology groups are applied to show a treatment of the group extension problem of the type of an abelian crossed module.
We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and in fact a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois structure, and show that regular epimorphisms admit a relative monotone-light factorization system in the sense of Chikhladze. We also draw some comparison with Kan complexes. By comparing the reflections of simplicial objects and reflexive graphs into groupoids, we exhibit a connection with weighted commutators (as defined by Gran, Janelidze and Ursini).
The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has also been categorified by DeWolf-Pronk to a structure theorem for inverse categories as locally complete inductive groupoids. We show that in the case of compact inverse categories, this takes the particularly nice form of a semilattice of compact groupoids. Moreover, one-object compact inverse categories are exactly commutative inverse monoids. Compact groupo…
We study the difference between internal categories and internal groupoids in terms of generalised Mal'tsev properties---the weak Mal'tsev property on the one hand, and $n$-permutability on the other. In the first part of the article we give conditions on internal categorical structures which detect whether the surrounding category is naturally Mal'tsev, Mal'tsev or weakly Mal'tsev. We show that these do not depend on the existence of binary products. In the second part we focus on varieties of algebras.
We define and study the 2-category of torsors over a Picard groupoid, a central extension of a group by a Picard groupoid, and commutator maps in this central extension. Using it in the context of two-dimensional local fields and two-dimensional adelic theory we obtain the two-dimensional tame symbol and a new proof of Parshin reciprocity laws on an algebraic surface.
We define the notion of whiskered categories and groupoids, showing that whiskered groupoids have a commutator theory. So also do whiskered $R$-categories, thus answering questions of what might be `commutative versions' of these theories. We relate these ideas to the theory of Leibniz algebras, but the commutator theory here does not satisfy the Leibniz identity. We also discuss potential applications and extensions, for example to resolutions of monoids.
A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. We define the term "quantum category". The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's star-autonomous categories is more suitable than autonomy (= compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects".
We prove a generalisation of the correspondence, due to Resende and Lawson--Lenz, between étale groupoids---which are topological groupoids whose source map is a local homeomorphisms---and complete pseudogroups---which are inverse monoids equipped with a particularly nice representation on a topological space. Our generalisation improves on the existing functorial correspondence in four ways. Firstly, we enlarge the classes of maps appearing to each side. Secondly, we generalise on one side from inverse monoids to inverse categories, and on the other side, from étale groupoids to what we call …
We develop further the techniques presented in [M. Mombelli. On the tensor product of bimodule categories over Hopf algebras. Preprint arXiv:1111.1610 ] to study bimodule categories over the representation categories of arbitrary finite-dimensional Hopf algebras. We compute the Brauer-Picard group of equivalence classes of exact invertible bimodule categories over the representation categories of a certain large family of pointed non-semisimple Hopf algebras, the so called supergroup algebras. To obtain this result we first give a classification of equivalence classes of exact indecomposable b…
We provide a precise description, albeit in the situation of standard categories, of the quantization functor Sum proposed by D.S. Freed, M.J. Hopkins, J. Lurie, and C. Teleman in a way enough abstract and flexible to suggest that an extension of the construction to the general context of higher categories should indeed be possible. Our method is in fact based primarily on dualizability and adjunction data, and is well suited for the homotopical setting. The construction also sheds light on the need of certain rescaling automorphisms, and in particular on the nature and properties of the Nakay…
Comodules over Hopf algebroids are of central importance in algebraic topology. It is well-known that a Hopf algebroid is the same thing as a presheaf of groupoids on Aff, the opposite category of commutative rings. We show in this paper that a comodule is the same thing as a quasi-coherent sheaf over this presheaf of groupoids. We prove the general theorem that internal equivalences of presheaves of groupoids with respect to a Grothendieck topology on Aff give rise to equivalences of categories of sheaves in that topology. We then show using faithfully flat descent that an internal equivalenc…
We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.
Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a sl…
We denote the monoidal bicategory of two-sided modules (also called profunctors, bimodules and distributors) between categories by $\mathrm{Mod}$; the tensor product is cartesian product of categories. For a groupoid $\scr{G}$, we study the monoidal centre $\mathrm{ZPs}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of the monoidal bicategory $\mathrm{Ps}(\scr{G},\mathrm{Mod}^{\mathrm{op}})$ of pseudofunctors and pseudonatural transformations; the tensor product is pointwise. Alexei Davydov defined the full centre of a monoid in a monoidal category. We define a higher dimensional version: the full monoi…
The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally…
Suppose that $G$ is a groupoid acting on a small category $H$ in the sense of \cite[Definition 4]{NOT} and $H\times_αG$ is the resulting semi-direct product category (as in \cite[Proposition 8]{NOT}). We show that there exists a subcategory $H_r \subseteq H$ satisfying some nice property called ``regularity'' such that $H_r \times_αG = H\times_αG$. Moreover, we show that there exists a so-called ``quasi action'' (see Definition \ref{quasi}) $β$ of $G$ on $C^*(H_r)$ (where $C^*(H_r)$ is the semigroupoid $C^*$-algebra as defined in \cite{EXE}) such that $C^*(H_r\times_αG) = C^*(H_r)\times_βG$ (w…
Given a higher-rank graph $Λ$, we investigate the relationship between the cohomology of $Λ$ and the cohomology of the associated groupoid $G_Λ$. We define an exact functor between the abelian category of right modules over a higher-rank graph $Λ$ and the category of $G_Λ$-sheaves, where $G_Λ$ is the path groupoid of $Λ$. We use this functor to construct compatible homomorphisms from both the cohomology of $Λ$ with coefficients in a right $Λ$-module, and the continuous cocycle cohomology of $G_Λ$ with values in the corresponding $G_Λ$-sheaf, into the sheaf cohomology of $G_Λ$.
We explore the category of internal categories in the usual category of (right) group-sets, whose objects are referred to as categorified group-sets. More precisely, we develop a new Burnside theory, where the equivalence relation between two categorified group-sets is given by a particular equivalence between the underlying categories. We also exhibit some of the differences between the old Burnside theory and the new one. Lastly, we briefly explain how to extend these new techniques and concepts to the context of groupoids, employing the categories of (right) groupoid-sets, aiming by this to…
A Quillen model structure on the category Gray-Cat of Gray-categories is described, for which the weak equivalences are the triequivalences. It is shown to restrict to the full subcategory Gray-Gpd of Gray-groupoids. This is used to provide a functorial and model-theoretic proof of the unpublished theorem of Joyal and Tierney that Gray-groupoids model homotopy 3-types. The model structure on Gray-Cat is conjectured to be Quillen equivalent to a model structure on the category Tricat of tricategories and strict homomorphisms of tricategories.
The goal of this thesis is to define a 2-dimensional version of abelian categories, where symmetric 2-groups play the role that abelian groups played in 1-dimensional algebra. Abelian and 2-abelian groupoid enriched categories are defined and it is proved that homology can be developed in them, including the existence of a long exact sequence of homology corresponding to an extension of chain complexes. This generalises known results for symmetric 2-groups. The examples include, in addition to symmetric 2-groups, the 2-modules on a 2-ring, which form a 2-abelian groupoid enriched category. Mor…
The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state and prove precise classification theorems for those monoidal groupoids whose isotropy groups are all abelian, as well as for their homomorphisms, by means of Leech's cohomology groups of monoids.
When $\mathbb C$ is a semi-abelian category, it is well known that the category $\mathsf{Grpd}(\mathbb C)$ of internal groupoids in $\mathbb C$ is again semi-abelian. The problem of determining whether the same kind of phenomenon occurs when the property of being semi-abelian is replaced by the one of being action representable (in the sense of Borceux, Janelidze and Kelly) turns out to be rather subtle. In the present article we give a sufficient condition for this to be true: in fact we prove that the category $\mathsf{Grpd}(\mathbb C)$ is a semi-abelian action representable algebraically co…
