Related papers: Higher categories
We study convergent (terminating and confluent) presentations of n-categories. Using the notion of polygraph (or computad), we introduce the homotopical property of finite derivation type for n-categories, generalizing the one introduced by…
It is well-known that biological phenomena are emergent. Emergent phenomena are quite interesting and amazing. However, they are difficult to be understood. Due to this difficulty, we propose a theory to describe emergence based on a…
We explain the notion of colimit in category theory as a potential tool for describing structures and their communication, and the notion of higher dimensional algebra as a potential yoga for dealing with processes and processes of…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
We give a presentation of Feynman categories from a representation--theoretical viewpoint. Feynman categories are a special type of monoidal categories and their representations are monoidal functors. They can be viewed as a far reaching…
The goal of these talks was to explain how cohomology and other tools of algebraic topology are seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of "n-stuff", and…
The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…
In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…
We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples
We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner.
We describe a conjecture on the algebra of higher cohomology operations which leads to the computations of the differentials in the Adams spectral sequence. For this we introduce the notion of an n-th order track category which is suitable…
We introduce a notion of categorical homotopic distance between functors by adapting the notion of homotopic distance in topological spaces, recently defined by the authors to the context of small categories. Moreover, this notion…
We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
Bimonoidal categories are categorical analogues of rings without additive inverses. They have been actively studied in category theory, homotopy theory, and algebraic $K$-theory since around 1970. There is an abundance of new applications…
This is an invited survey article on higher gauge theory for the Encyclopedia of Mathematical Physics, 2nd edition. In particular, we provide a lightning introduction to higher structures and to the construction of the kinematical data of…
An appropriate framework is put forward for the construction of $\lambda$-models with $\infty$-groupoid structure, which we call \textit{homotopic $\lambda$-models}, through the use of an $\infty$-category with cartesian closure and enough…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We define notions of direct and inverse limits in an $n$-category. We prove that the $n+1$-category $nCAT'$ of fibrant $n$-categories admits direct and inverse limits. At the end we speculate (without proofs) on some applications of the…
I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills…