Journal•
arXiv: Category Theory
About: arXiv: Category Theory is an academic journal. The journal publishes majorly in the area(s): Functor & Morphism. Over the lifetime, 2918 publications have been published receiving 17610 citations.
Topics: Functor, Morphism, Category theory, Homotopy, Enriched category
Papers published on a yearly basis
Papers
More filters
•
TL;DR: Higher-dimensional category theory as discussed by the authors is the study of n-categories, operads, braided monoidal categories, and other such exotic structures, drawing inspiration from areas as diverse as topology, quantum algebra, mathematical physics, logic, and theoretical computer science.
Abstract: Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics, logic, and theoretical computer science. This is the first book on the subject and lays its foundations.
Many examples are given throughout. There is also an introductory chapter motivating the subject for topologists.
424 citations
•
TL;DR: In this article, an informal sketch of a proof of the Baez-Dolan cobordism hypothesis is provided, which provides a classification for extended topological quantum field theories.
Abstract: This paper provides an informal sketch of a proof of the Baez-Dolan cobordism hypothesis, which provides a classification for extended topological quantum field theories.
405 citations
••
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: In this paper, the satisfaction of Quillen's axioms over any site is a purely formal consequence of their being satisfied over the category of sets, i.e., their satisfaction is a consequence of the satisfaction over the set of sets.
Abstract: If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site is a purely formal consequence of their being satisfied over the category of sets. Such data give rise to a functor from the category of topoi and geometric morphisms to Quillen model categories and Quillen adjunctions.
186 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