Related papers: Towards functor exponentiation

In the framework of algebraic quantum field theory, we study the category \Delta_BF^A of stringlike localised representations of a net of observables O \mapsto A(O) in three dimensions. It is shown that compactly localised (DHR)…

We introduce $\mathsf{LEM}$, a type-assignment system for the linear $ \lambda $-calculus that extends second-order $\mathsf{IMLL}_2$, i.e., intuitionistic multiplicative Linear Logic, by means of logical rules that weaken and contract…

We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…

In this paper, a new axiomatization for unbounded functional calculi is proposed and the associated theory is elaborated comprising, among others, uniqueness and compatibility results and extension theorems of algebraic and topological…

We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…

In this paper we start by briefly surveying the theory of Fractional Jumps and transitive projective maps. Then, we give an efficient construction of a fractional jump of a projective map and we extend the compound generator construction…

In this paper we give sufficient conditions for lifting an enhanced factorization system $ (\mathcal{E}, \mathcal{M}) $ on a $ 2 $-category $ \mathbf{D} $ to the functor $ 2 $-category $ \mathbf{D}^{\mathbf{C}} $, where $ \mathbf{C} $ is a…

We use geometric parabolic induction functors and the adjoint functors for the supergroups Osp(2m+1,2n) (where m and n vary) to categorify the action of the infinite-dimensional Clifford algebra on the Fock space of semi-infinite forms.

For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ can be perceived as a category of generalised metric spaces and non-expanding maps. We show that any type constructor $T$ (formalised as an endofunctor on sets) can be…

We introduce type-theoretic algebraic weak factorisation systems and show how they give rise to homotopy-theoretic models of Martin-L\"of type theory. This is done by showing that the comprehension category associated to a type-theoretic…

In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…

In this paper we study the Taylor series of an operator-valued function related to the differential of the exponential map. For a smooth manifold $\mathcal{M}$ with a torsion-free affine connection the operator $\mathcal{E}_p(v)$ acting on…

We prove that E_n-homology of non-unital commutative algebras can be described as functor homology when one considers functors from a certain category of planar trees with n levels. For different n these homology theories are connected by…

Tannaka Duality describes the relationship between algebraic objects in a given category and their representations; an important case is that of Hopf algebras and their categories of representations; these have strong monoidal forgetful…

We focus on the problem of producing new modular tensor categories from Hopf algebras. To do this, we first give a general method to construct factorizable Hopf algebras. Then we apply the method to construct two families of ribbon…

This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups,…

The category of contexts underlying a model of Martin-L\"of type theory with Unit-, $\Sigma$-, and $\Pi$-types need not be locally Cartesian closed, but is necessarily a $\pi$-clan. We exploit this $\pi$-clan structure to build the theory…

We use factorizable finite tensor categories, and specifically the representation categories of factorizable ribbon Hopf algebras H, as a laboratory for exploring bulk correlation functions in local logarithmic conformal field theories. For…

We give an explicit description of the set of all factorization structures, or twisting maps, existing between the algebras k^2 and k^2, and classify the resulting algebras up to isomorphism. In the process we relate several different…