Related papers: Left Adjoints for Generalized Multicategories
We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…
Bidirectional data accessors such as lenses, prisms and traversals are all instances of the same general 'optic' construction. We give a careful account of this construction and show that it extends to a functor from the category of…
We argue that operads provide a general framework for dealing with polynomials and combinatory completeness of combinatory algebras, including the classical $\mathbf{SK}$-algebras, linear $\mathbf{BCI}$-algebras, planar…
We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras whose objects include all pointed finite dimensional algebras. We define the completed path algebra and…
We show that every braiding on a monoidal bicategory induces a monoidal structure on its bicategory of monoids, such that if the former is sylleptic or symmetric then the latter is braided or symmetric, respectively. This extends a classic…
There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint…
In this paper, we work within the framework of modules over the Clifford algebra $\mathbb{R}_d$. Our investigation focuses on the S-spectrum and the S-functional calculus in its various forms for the adjoint T* of a Clifford operator T. One…
Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group…
We discuss free probability theory and free harmonic analysis from a categorical perspective. In order to do so, we extend first the set of analytic convolutions and operations and then show that the comonadic structure governing free…
We prove how the universal enveloping algebra constructions for Lie-Rinehart algebras and anchored Lie algebras are naturally left adjoint functors. This provides a conceptual motivation for the universal properties these constructions…
We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…
The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when…
We show how to "interleave" the monad for operads and the monad for contractions on the category \coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and…
In this paper the category of opposite brace triples is introduced in a general braided monoidal setting. Under cocommutativity, it is proved to be isomorphic to the category of Hopf braces. Furthermore, if one considers the subcategories…
By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in $Cat$, whereas…
We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…
Taking symmetric extensions can be considered as a generalisation of forcing, which produces a richer multiverse of models with and without the axiom of choice. We can study the structure of this multiverse using modal logic. In particular,…
The semidirect product of a finitely generated group dual with the symmetric group can be described through so-called group-theoretical categories of partitions (covers only a special case; due to Raum--Weber, 2015) and skew categories of…
We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…