Related papers: Generalised Duality Theory for Monoidal Categories…
This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…
This paper generalizes the normally ordered tensor product from Tate vector spaces to Tate objects over arbitrary exact categories. We show how to lift bi-right exact monoidal structures, duality functors, and construct external Homs. We…
A subunit in a monoidal category is a subobject of the monoidal unit for which a canonical morphism is invertible. They correspond to open subsets of a base topological space in categories such as those of sheaves or Hilbert modules. We…
We consider the effect of $t$-structures on the Tannaka duality theory for dg categories developed in our previous paper. We associate non-negative dg coalgebras $C$ to dg functors on the hearts of $t$-structures, and relate dg…
We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.
In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination…
In this paper we go deep into the connection between duality and fields redefinition for general bilinear models involving the 1-form gauge field $A$. A duality operator is fixed based on "gauge embedding" procedure. Dual models are shown…
We investigate monoidal categories of formal contexts, in which states correspond to formal concepts. In particular we examine the category of bonds or Chu correspondences between contexts, which is known to be equivalent to the…
A $d$-dimensional invertible topological field theory is a functor from the symmetric monoidal $(\infty,n)$-category of $d$-bordisms (embedded into $\mathbb{R}^\infty$ and equipped with a tangential $(X,\xi)$-structure) which lands in the…
We provide a multiplicative classification of polynomial endofunctors on spectra in terms of their Mackey functors of cross--effects. More precisely, we prove that various categories of multivariable excisive functors from spectra to…
In this paper we show that the Day monoidal product generalises in a straightforward way to other algebraic constructions and partial algebraic constructions on categories. This generalisation was motivated by its applications in logic, for…
The theory of contractions of multivectors, and star duality, was reorganized in a previous article, and here we present some applications. First, we study inner and outer spaces associated to a general multivector $M$ via the equations $v…
This paper addresses the study and applications of polyhedral duality of locally convex topological vector (LCTV) spaces. We first revisit the classical Rockafellar's proper separation theorem for two convex sets one which is polyhedral and…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…
In this paper we establish Koszul duality type results in the setting of chain complexes in exact categories. In particular we prove generalisations of Vallette's cooperadic Koszul duality theorem, and operadic Koszul duality along the…
In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
We find a covariant completion of the flat-space multi-galileon theory, preserving second-order field equations. We then generalise this to arrive at an enlarged class of second order theories describing multiple scalars and a single…
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of topos theory. We discuss functors, equivalences, natural…
We show that every internal biequivalence in a tricategory T is part of a biadjoint biequivalence. We give two applications of this result, one for transporting monoidal structures and one for equipping a monoidal bicategory with invertible…