Related papers: Generalised Duality Theory for Monoidal Categories…
Extensions of Stone-type dualities have a long history in algebraic logic and have also been instrumental in proving results in algebraic language theory. We show how to extend abstract categorical dualities via monoidal adjunctions,…
We show that some recent constructions in the literature, named `weak' generalizations, can be systematically treated by passing from 2-categories to categories enriched in the Cartesian monoidal category of Cauchy complete categories.
We introduce a notion of ``$n$-dual'' to a simplicial vector space for $n\ge 0$. Coming with it, there is a canonical pairing, which we show to be non-degenerate up to homotopy for homotopy $n$-types. As a result this notion of duality is…
One aim of this paper is to develop some aspects of the theory of monoidal derivators. The passages from categories and model categories to derivators both respect monoidal objects and hence give rise to natural examples. We also introduce…
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…
We apply the framework developed in Target Space Duality I: General Theory. We show that both nonabelian duality and Poisson-Lie duality are examples of the general theory. We propose how the formalism leads to a systematic study of duality…
We generalise classical reconstruction results in algebra, using the language of monads, monoidal categories, module categories, as well as various notions of duality, such as closedness, Grothendieck--Verdier duality (also known as…
Prolongations of a group extension can be studied in a more general situation that we call group extensions of the co-type of a crossed module. Cohomology classification of such extensions is obtained by applying the obstruction theory of…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
Suitable duals of multimodules are introduced and used to provide transposition contravariant right semi-adjunctions (and dualitites under reflexivity). Several additional notions on multimodules are discussed: generalized morphisms and…
An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.
We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…
Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
We develop Morita theory for finitary additive 2-representations of finitary 2-categories. As an application we describe Morita equivalence classes for 2-categories of projective functors associated to finite dimensional algebras and for…
Generalized operads, also called generalized multicategories and $T$-monoids, are defined as monads within a Kleisli bicategory. With or without emphasizing their monoidal nature, generalized operads have been considered by numerous authors…
We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…
In general terms, Gelfand duality refers to a correspondence between a geometric, topological, or analytical category, and an algebraic category. For example, in smooth differential geometry, Gelfand duality refers to the topological…
In this paper we classify endofunctors on the simplex category, and we identify those that induce weak equivalence preserving functors on the category of simplicial sets.
This paper develops a theory of monoidal categories relative to a braided monoidal category, called augmented monoidal categories. For such categories, balanced bimodules are defined using the formalism of balanced functors. The two main…