Related papers: Oriented Category Theory
We survey Lawvere theories at the level of infinity categories, as an alternative framework for higher algebra (rather than infinity operads). From a pedagogical perspective, they make many key definitions and constructions less technical.…
The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit…
We develop category-theoretic framework for universal homogeneous objects, with some applications in the theory of Banach spaces, linear orderings, and in topology of compact spaces.
This manuscript presents a novel framework that integrates higher-order symmetries and category theory into machine learning. We introduce new mathematical constructs, including hyper-symmetry categories and functorial representations, to…
We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…
For an $(\infty,n)$-category $\mathscr E$ we define an $(\infty,1)$ category $\mathrm{TwAr}(\mathscr E)$ and provide an isomorphism between the stabilization of the overcategory of $\mathscr E$ in $\mathrm{Cat}_{(\infty,n)}$ and the…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We investigate an enriched-categorical approach to a field of discrete mathematics. The main result is a duality theorem between a class of enriched categories (called $\overline{\mathbb{Z}}$- or $\overline{\mathbb{R}}$-categories) and that…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…
We introduce Manifold tensor categories, which make precise the notion of a tensor category with a manifold of simple objects. A basic example is the category of vector spaces graded by a Lie group. Unlike classic tensor category theory,…
We give a geometric model for a tube category in terms of homotopy classes of oriented arcs in an annulus with marked points on its boundary. In particular, we interpret the dimensions of extension groups of degree 1 between indecomposable…
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simple forms of the \emph{comma} categories and were introduced…
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
We study tensor categories that interpolate the representation categories of finite classical groups. There are (at least) two ways to approach these categories: via ultraproducts and via oligomorphic groups. Both have strengths and…
We present a doctrinal approach to category theory, obtained by abstracting from the indexed inclusions (via discrete fibrations and opfibrations) of the left and of the right actions of X in Cat in categories over X. Namely, a "weak…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…
We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…