Showing papers in "arXiv: Category Theory in 2010"
TL;DR: Localization is a machinery to formally invert morphisms in a category as discussed by the authors, and it is applied to triangulated categories in the theory of localization for triangulation.
Abstract: These notes provide an introduction to the theory of localization for triangulated categories Localization is a machinery to formally invert morphisms in a category We explain this formalism in some detail and we show how it is applied to triangulated categories
207 citations
TL;DR: A rather informal guide to 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of Bicategories is given in this article.
Abstract: This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories.
185 citations
TL;DR: A Quillen model structure on the category Gray-Cat of Gray-categories is described in this article, for which the weak equivalences are the triequivalences.
Abstract: 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.
78 citations
Posted Content•
TL;DR: In this article, a lifting condition is used to construct symmetric monoidal bicategories from monoidal double categories that satisfy lifting conditions, and the method is widely applicable, though not universally so.
Abstract: We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely applicable, though not universally so.
75 citations
TL;DR: In this paper, an explanation of how cohomology is seen through the lens of n-category theory is given, including nonabelian cohomologies, Postnikov towers, the theory of 'n-stuff' and n-categories for n = −1 and −2.
Abstract: This is an explanation of how cohomology is seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of ‘n-stuff’, and n-categories for n = −1 and −2. A lengthy appendix clarifies certain puzzles and ventures into deeper waters such as higher topos theory. An annotated bibliography provides directions for further study.
66 citations
TL;DR: In this paper, the authors discuss the construction and properties of 1- and 2-gerbes based on the author's texts and describe the construction which associates to a gerbe or a 2 -gerbe the corresponding non-abelian cohomology class.
Abstract: The aim of these notes is to discuss in an informal manner the construction and some properties of 1- and 2-gerbes. They are for the most part based on the author’s texts [1–4]. Our main goal is to describe the construction which associates to a gerbe or a 2-gerbe the corresponding non-abelian cohomology class.
65 citations
Posted Content•
TL;DR: A connection between logic, geometry, and algebra has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into homotopy theory as mentioned in this paper.
Abstract: The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-L\"of into homotopy theory, resulting in new examples of higher-dimensional categories.
57 citations
TL;DR: It is proved that a silting class ω induces a bounded non-degenerated co-t-structure on the smallest thick triangulated subcategory of \(\mathcal{T}\) containing ω.
Abstract: We show that the relative Auslander-Buchweitz context on a triangulated category $\T$ coincides with the notion of co-$t$-structure on certain triangulated subcategory of $\T$ (see Theorem \ref{M2}). In the Krull-Schmidt case, we stablish a bijective correspondence between co-$t$-structures and cosuspended, precovering subcategories (see Theorem \ref{correspond}). We also give a characterization of bounded co-$t$-structures in terms of relative homological algebra. The relationship between silting classes and co-$t$-structures is also studied. We prove that a silting class $\omega$ induces a bounded non-degenerated co-$t$-structure on the smallest thick triangulated subcategory of $\T$ containing $\omega.$ We also give a description of the bounded co-$t$-structures on $\T$ (see Theorem \ref{Msc}). Finally, as an application to the particular case of the bounded derived category $\D(\HH),$ where $\HH$ is an abelian hereditary category which is Hom-finite, Ext-finite and has a tilting object (see \cite{HR}), we give a bijective correspondence between finite silting generator sets $\omega=\add\,(\omega)$ and bounded co-$t$-structures (see Theorem \ref{teoH}).
50 citations
TL;DR: The deconstructible Grothendieck categories as discussed by the authors provide a handy framework for structure theory and construct model structures and t-structures on categories of complexes over GRAs.
Abstract: A full subcategory of a Grothendieck category is called deconstructible if it consists of all transfinite extensions of some set of objects. This concept provides a handy framework for structure theory and construction of approximations for subcategories of Grothendieck categories. It also allows to construct model structures and t-structures on categories of complexes over a Grothendieck category. In this paper we aim to establish fundamental results on deconstructible classes and outline how to apply these in the areas mentioned above. This is related to recent work of Gillespie, Enochs, Estrada, Guil Asensio, Murfet, Neeman, Prest, Trlifaj and others.
47 citations
Posted Content•
TL;DR: In this paper, a set of principles and methodologies which may serve as foundations of a unifying theory of mathematics are presented, based on a new view of Grothendieck toposes as unifying spaces being able to act as ''bridges'' for transferring information, ideas and results between distinct mathematical theories.
Abstract: We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as `bridges' for transferring information, ideas and results between distinct mathematical theories.
47 citations
TL;DR: In this article, the Borel-Moore Hochschild homology of the second kind (known also as the compactly supported hochschild cohomology) for curved DG-categories is defined and studied.
Abstract: We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG-categories. An isomorphism between the Hochschild (co)homology of the second kind of a CDG-category B and the same of the DG-category C of right CDG-modules over B, projective and finitely generated as graded B-modules, is constructed. Sufficient conditions for an isomorphism of the two kinds of Hochschild (co)homology of a DG-category are formulated in terms of the two kinds of derived categories of DG-modules over it. In particular, a kind of "resolution of the diagonal" condition for the diagonal CDG-bimodule B over a CDG-category B guarantees an isomorphism of the two kinds of Hochschild (co)homology of the corresponding DG-category C. Several classes of examples are discussed.
Posted Content•
TL;DR: In this article, the authors studied the notion of approximation in V-categories and in (U, V)-categories, for a quantale V and the ultrafilter monad U. They introduced auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of V- and (U.V) categories.
Abstract: Our work is a fundamental study of the notion of approximation in V-categories and in (U,V)-categories, for a quantale V and the ultrafilter monad U. We introduce auxiliary, approximating and Scott-continuous distributors, the way-below distributor, and continuity of V- and (U,V)-categories. We fully characterize continuous V-categories (resp. (U,V)-categories) among all cocomplete V-categories (resp. (U,V)-categories) in the same ways as continuous domains are characterized among all dcpos. By varying the choice of the quantale V and the notion of ideals, and by further allowing the ultrafilter monad to act on the quantale, we obtain a flexible theory of continuity that applies to partial orders and to metric and topological spaces. We demonstrate on examples that our theory unifies some major approaches to quantitative domain theory.
Posted Content•
TL;DR: In this paper, a simplified version of the notion of ''infty'' groupoid developed by Grothendieck in "Pursuing Stacks'' is presented, and a definition of $\infty$-categories is introduced.
Abstract: 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.
Posted Content•
TL;DR: The notion of distributive space and algebraic space was introduced in this paper, where it was shown that the category of dis-tributive spaces and colimit preserving maps is dually equivalent to the idempotent split completion of a category of spaces and convergence relations between them.
Abstract: The main source of inspiration for the present paper is the work of R. Rose- brugh and R.J. Wood on constructively completely distributive lattices where the au- thors elegantly employ the concepts of adjunction and module. Both notions (suitably adapted) are available in topology too, which permits us to investigate topological, metric and other kinds of spaces in a similar spirit. We introduce here the notion of distributive space and algebraic space and show in particular that the category of dis- tributive spaces and colimit preserving maps is dually equivalent to the idempotent split completion of a category of spaces and convergence relations between them. We explain the connection of this result to the well-known duality between topological spaces and frames, and deduce further duality theorems.
[...]
TL;DR: The functor l2 from the category of partial injections to the categoryof Hilbert spaces is studied, which is finitely accessible, and in both categories homsets are algebraic domains.
Abstract: We study the functor l^2 from the category of partial injections to the category of Hilbert spaces. The former category is finitely accessible, and its homsets are algebraic domains; the latter category has conditionally algebraic domains for homsets. The functor preserves daggers, monoidal structures, enrichment, and various (co)limits, but has no adjoints. Up to unitaries, its direct image consists precisely of the partial isometries, but its essential image consists of all continuous linear maps between Hilbert spaces.
Posted Content•
TL;DR: In this paper, the authors compare several algebraic notions of normality, from a categorical viewpoint, and introduce an intrinsic description of Higgins' commutator for ideal-determined categories.
Abstract: We first compare several algebraic notions of normality, from a categorical viewpoint. Then we introduce an intrinsic description of Higgins' commutator for ideal-determined categories, and we define a new notion of normality in terms of this commutator. Our main result is to extend to any semi-abelian category the following well-known characterization of normal subgroups: a subobject $K$ is normal in $A$ if, and only if, $[A,K]\leq K$.
TL;DR: For a wide class of abelian categories relevant in representation theory and algebraic geometry, the authors showed that the bounded derived categories have no non-trivial strongly finitely generated thick subcategories containing all perfect complexes.
Abstract: We show, for a wide class of abelian categories relevant in representation theory and algebraic geometry, that the bounded derived categories have no non-trivial strongly finitely generated thick subcategories containing all perfect complexes. In order to do so we prove a strong converse of the Ghost Lemma for bounded derived categories.
TL;DR: In this paper, the authors construct a semantic model of Selinger and Valiron's quantum lambda calculus by considering presheaf categories over appropriate base categories arising from first-order quantum computation.
Abstract: This dissertation has two main parts. The first part deals with questions relating to Haghverdi and Scott's notion of partially traced categories. The main result is a representation theorem for such categories: we prove that every partially traced category can be faithfully embedded in a totally traced category. Also conversely, every monoidal subcategory of a totally traced category is partially traced, so this characterizes the partially traced categories completely. The main technique we use is based on Freyd's paracategories, along with a partial version of Joyal, Street, and Verity's Int construction. Along the way, we discuss some new examples of partially traced categories, mostly arising in the context of quantum computation.
The second part deals with the construction of categorical models of higher-order quantum computation. We construct a concrete semantic model of Selinger and Valiron's quantum lambda calculus, which has been an open problem until now. We do this by considering presheaf categories over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day's convolution theory and Kelly and Freyd's notion of continuity of functors. We first give an abstract description of the properties required of the base categories for the model construction to work; then exhibit a specific example of base categories satisfying these properties.
Posted Content•
TL;DR: It turns out that the axioms of collection and replacement are always valid in the stack semantics of any topos, while the axiom of separation expressed in the Stack semantics gives a new topos-theoretic axiom schema with the full strength of ZF.
Abstract: We extend the usual internal logic of a (pre)topos to a more general interpretation, called the stack semantics, which allows for "unbounded" quantifiers ranging over the class of objects of the topos. Using well-founded relations inside the stack semantics, we can then recover a membership-based (or "material") set theory from an arbitrary topos, including even set-theoretic axiom schemas such as collection and separation which involve unbounded quantifiers. This construction reproduces the models of Fourman-Hayashi and of algebraic set theory, when the latter apply. It turns out that the axioms of collection and replacement are always valid in the stack semantics of any topos, while the axiom of separation expressed in the stack semantics gives a new topos-theoretic axiom schema with the full strength of ZF. We call a topos satisfying this schema "autological."
Posted Content•
TL;DR: In this article, the authors generalize Bruguieres' work to the context internal to an autonomous monoidal bicategory and apply it to quantum categories and bialgebroids.
Abstract: Alain Bruguieres, in his talk [1], announced his work [2] with Alexis Virelizier and the second author which dealt with lifting closed structure on a monoidal category to the category of Eilenberg-Moore algebras for an opmonoidal monad. Our purpose here is to generalize that work to the context internal to an autonomous monoidal bicategory. The result then applies to quantum categories and bialgebroids.
Posted Content•
TL;DR: In this paper, a cubical version of categorical group 2-bundles with connection over a smooth manifold is defined, and their two-dimensional parallel transport is studied.
Abstract: In the context of non-abelian gerbes we define a cubical version of categorical group 2-bundles with connection over a smooth manifold. We define their two-dimensional parallel transport, study its properties, and define non-abelian Wilson surface functionals.
Posted Content•
TL;DR: The idea of a co-t-structure is almost "dual" to that of a t-structured structure, but with some important differences as mentioned in this paper, and it has been shown that it is possible to construct compactly generated co-structures.
Abstract: The idea of a co-t-structure is almost "dual" to that of a t-structure, but with some important differences. This note establishes co-t-structure analogues of Beligiannis and Reiten's corresponding results on compactly generated t-structures.
Posted Content•
TL;DR: In this article, the dendroidal analogs of complete Segal space and Segal category were introduced and two appropriate model categories for which each of these notions corresponds to the property of being fibrant.
Abstract: We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that these two model categories are Quillen equivalent to each other, and to the monoidal model category for infinity-operads which we constructed in an earlier paper. By slicing over the monoidal unit objects in these model categories, we derive as immediate corollaries the known comparison results between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal categories.
Posted Content•
TL;DR: In this paper, the authors give a concrete construction for string diagrams using a special kind of typed graph called an open-graph, which is a powerful tool for reasoning about physical processes, logic circuits, tensor networks and many other compositional structures.
Abstract: String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of these diagrams is that edges need not be connected to vertices at both ends, and these unconnected ends can be interpreted as the inputs and outputs of a diagram. In this paper, we give a concrete construction for string diagrams using a special kind of typed graph called an open-graph. While the category of open-graphs is not itself adhesive, we introduce the notion of a selective adhesive functor, and show that such a functor embeds the category of open-graphs into the ambient adhesive category of typed graphs. Using this functor, the category of open-graphs inherits "enough adhesivity" from the category of typed graphs to perform double-pushout (DPO) graph rewriting. A salient feature of our theory is that it ensures rewrite systems are "type-safe" in the sense that rewriting respects the inputs and outputs. This formalism lets us safely encode the interesting structure of a computational model, such as evaluation dynamics, with succinct, explicit rewrite rules, while the graphical representation absorbs many of the tedious details. Although topological formalisms exist for string diagrams, our construction is discreet, finitary, and enjoys decidable algorithms for composition and rewriting. We also show how open-graphs can be parametrised by graphical signatures, similar to the monoidal signatures of Joyal and Street, which define types for vertices in the diagrammatic language and constraints on how they can be connected. Using typed open-graphs, we can construct free symmetric monoidal categories, PROPs, and more general monoidal theories. Thus open-graphs give us a handle for mechanised reasoning in monoidal categories.
Posted Content•
TL;DR: Bruguieres and Virelizier as mentioned in this paper showed that the pre-Hopf monads are a special case of Galois entwinings, and that they can be used to construct a Hopf monad on a Cauchy complete category.
Abstract: For a generalisation of the classical theory of Hopf algebra over fields, A. Bruguieres and A. Virelizier study opmonoidal monads on monoidal categories (which they called bimonads). In a recent joint paper with S. Lack the same authors define the notion of a pre-Hopf monad by requiring only a special form of the fusion operator to be invertible. In previous papers it was observed by the present authors that bimonads yield a special case of an entwining of a pair of functors (on arbitrary categories). The purpose of this note is to show that in this setting the pre-Hopf monads are a special case of Galois entwinings. As a byproduct some new properties are detected which make a (general) bimonad on a Cauchy complete category to a Hopf monad. In the final section applications to cartesian monoidal categories are considered.
Posted Content•
TL;DR: In this paper, it was shown that a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does not admit them.
Abstract: We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.
TL;DR: In this paper, a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group was constructed using an action of this group on a two-gerbe of gerbal theories.
Abstract: We construct a central extension of the group of automorphisms of a 2-Tate vector space viewed as a discrete 2-group. This is done using an action of this 2-group on a 2-gerbe of gerbal theories. This central extension is used to define central extensions of double loop groups.
Posted Content•
TL;DR: In this paper, it was proved that a localization of the category of higher dimensional transition systems is equivalent to a locally finitely presentable reflective full subcategory of labelled symmetric precubical sets.
Abstract: Cattani-Sassone's notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher dimensional transition sys- tem associated with the labelled n-cube turns out to be the free higher dimensional transition system generated by one n-dimensional transition. As a first application of this construc- tion, it is proved that a localization of the category of higher dimensional transition systems is equivalent to a locally finitely presentable reflective full subcategory of the category of labelled symmetric precubical sets. A second application is to Milner's calculus of commu- nicating systems (CCS): the mapping taking process names in CCS to flows is factorized through the category of higher dimensional transition systems. The method also applies to other process algebras and to topological models of concurrency other than flows.
Posted Content•
TL;DR: The notion of commuting pair of endofunctors with respect to the monad M is introduced and it is shown that under reasonable assumptions, the final coalgebra of one of the endof unctors involved can be obtained as the free algebra generated by the initial algebra of the other end ofunctor.
Abstract: We extend Barr's well-known characterization of the final coalgebra of a $Set$-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$-monad $\mathbf{M}$ for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad $\mathbf{M}$ and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.
TL;DR: In this paper, an analogous version of the Auslander-Buchweitz approximation theory for triangulated categories is introduced and developed by using a version of relative homology in this setting.
Abstract: We introduce and develop an analogous of the Auslander-Buchweitz approximation theory (see \cite{AB}) in the context of triangulated categories, by using a version of relative homology in this setting. We also prove several results concerning relative homological algebra in a triangulated category $\T,$ which are based on the behavior of certain subcategories under finiteness of resolutions and vanishing of Hom-spaces. For example: we establish the existence of preenvelopes (and precovers) in certain triangulated subcategories of $\T.$ The results resemble various constructions and results of Auslander and Buchweitz, and are concentrated in exploring the structure of a triangulated category $\T$ equipped with a pair $(\X,\omega),$ where $\X$ is closed under extensions and $\omega$ is a weak-cogenerator in $\X,$ usually under additional conditions. This reduces, among other things, to the existence of distinguished triangles enjoying special properties, and the behavior of (suitably defined) (co)resolutions, projective or injective dimension of objects of $\T$ and the formation of orthogonal subcategories. Finally, some relationships with the Rouquier's dimension in triangulated categories is discussed.