English
Related papers

Related papers: $\omega$-Operads of Coendomorphisms for Higher Str…

200 papers

Categories of partial functions have become increasingly important principally because of their applications in theoretical computer science. In this note we prove that the category of partial bijections between sets as an…

Discrete Mathematics · Computer Science 2009-03-06 Emil Schwab

We affirm and generalize a conjecture of Blumberg and Hill: unital weak $\mathcal{N}_\infty$-operads are closed under $\infty$-categorical Boardman-Vogt tensor products and the resulting tensor products correspond with joins of weak…

Algebraic Topology · Mathematics 2025-08-07 Natalie Stewart

We introduce $\omega$-catoids as generalisations of (strict) $\omega$-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewriting. We also introduce $\omega$-quantales that…

Logic in Computer Science · Computer Science 2025-07-01 Cameron Calk , Philippe Malbos , Damien Pous , Georg Struth

We discuss the two closely related, but different concepts of weak and almost weak stability for the powers of a contraction on a separable Hilbert space. Extending Halmos' and Rohlin's theorems in ergodic theory as a model, we show that…

Functional Analysis · Mathematics 2008-07-21 Tanja Eisner , Andras Sereny

Natural organized systems adapt to internal and external pressures and this happens at all levels of the abstraction hierarchy. Wanting to think clearly about this idea motivates our paper, and so the idea is elaborated extensively in the…

Category Theory · Mathematics 2023-08-01 Brandon T. Shapiro , David I. Spivak

We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…

Algebraic Topology · Mathematics 2014-10-01 Moritz Groth

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

Algebraic Topology · Mathematics 2012-06-20 Wenbin Zhang

This paper introduces the notion of weakly globular double categories, a particular class of strict double categories, as a way to model weak 2-categories; it explores its use in defining a double category of fractions, and shows that the…

Category Theory · Mathematics 2013-03-28 Simona Paoli , Dorette Pronk

We develop a general field-covariant approach to quantum gauge theories. Extending the usual set of integrated fields and external sources to "proper" fields and sources, which include partners of the composite fields, we define the master…

High Energy Physics - Theory · Physics 2016-04-06 Damiano Anselmi

In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra…

Algebraic Topology · Mathematics 2023-10-09 Vane Jacky III Batkam Mbatchou , Calvin Tcheka

We construct generalized multicategories associated to an arbitrary operad in Cat that is $\Sigma$-free. The construction generalizes the passage to symmetric multicategories from permutative categories, which is the case when the operad is…

Category Theory · Mathematics 2015-02-18 A. D. Elmendorf

Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…

Functional Analysis · Mathematics 2009-08-10 H. Bercovici , R. G. Douglas , C. Foias , C. Pearcy

Infinitesimal deformations are governed by partition Lie algebras. In characteristic $0$, these higher categorical structures are modelled by differential graded Lie algebras, but in characteristic $p$, they are more subtle. We give…

Algebraic Geometry · Mathematics 2024-11-12 Lukas Brantner , Ricardo Campos , Joost Nuiten

We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…

Algebraic Topology · Mathematics 2022-05-11 David Ayala , John Francis

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…

Algebraic Topology · Mathematics 2025-10-14 David Gepner , Hadrian Heine

We show that in $K$-theory-like categories many corner embeddings into a discrete algebra of compact operators are invertible, and consequently functors on splitexact algebraic $KK$-theory are faithful if and only if they are faithful on…

K-Theory and Homology · Mathematics 2025-01-22 Bernhard Burgstaller

Given a complex manifold $X$ and a smooth positive function $\eta$ thereon, we perturb the standard differential operator $d=\partial + \bar\partial$ acting on differential forms to a first-order differential operator $D_\eta$ whose…

Differential Geometry · Mathematics 2024-11-21 Dan Popovici

With applications in mind to the representations and cohomology of block algebras, we examine elements of the graded center of a triangulated category when the category has a Serre functor. These are natural transformations from the…

Representation Theory · Mathematics 2016-10-05 Jon F. Carlson , Peter Webb

The classifying spaces of handlebody groups form a modular operad. Algebras over the handlebody operad yield systems of representations of handlebody groups that are compatible with gluing. We prove that algebras over the modular operad of…

Quantum Algebra · Mathematics 2023-11-08 Lukas Müller , Lukas Woike

We show that the semi-strictly generated internal homs of $\mathbf{Gray}$-categories $[\mathfrak{A}, \mathfrak{B}]_\text{ssg}$ defined in \cite{Miranda strictifying operational coherences} underlie a closed structure on the category…

Category Theory · Mathematics 2024-07-03 Adrian Miranda