Related papers: The root functor

We define a family of structures called "opetopic algebras", which are algebraic structures with an underlying opetopic set. Examples of such are categories, planar operads, and Loday's combinads over planar trees. Opetopic algebras can be…

We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…

Motivated by the challenge of defining twisted quantum field theories in the context of higher categories, we develop a general framework for lax and oplax transformations and their higher analogs between strong $(\infty, n)$-functors. We…

This is the second paper of a series of papers on a version of categories $\mathcal{O}$ for root-reductive Lie algebras. Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic…

Let $E$ be a sublattice of a vector lattice $F$. A continuous operator $T$ from the vector lattice $E$ into a normed vector space $X$ is said to be $\tilde{o}$rder-norm continuous whenever $x_\alpha\xrightarrow{Fo}0$ implies…

Operads may be represented as symmetric monoidal functors on a small symmetric monoidal category. We discuss the axioms which must be imposed on a symmetric monoidal functor in order that it give rise to a theory similar to the theory of…

We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable…

Let $d \geq 2$. We consider the symmetric monoidal category of oriented Riemannian $d$-manifolds with conformal open embeddings. The prefactorization algebra associated with the conformal Laplacian defines a symmetric monoidal functor from…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

Vertex operator algebras are mathematically rigorous objects corresponding to chiral algebras in conformal field theory. Operads are mathematical devices to describe operations, that is, $n$-ary operations for all $n$ greater than or equal…

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…

We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…

We investigate the notion of involutive weak globular $\omega$-categories via T.Leinster's approach: as algebras for the initial contracted globular operad in the bicategory of globular collections induced by the Cartesian monad of the free…

By appropriate choices of elements in the underlying iterated function system, methodology of fractal interpolation entitles one to associate a family of continuous self-referential functions with a prescribed real-valued continuous…

We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…

We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of…

In this paper, we show that every monadic ortholattice is isomorphic to a functional one, thereby resolving a recent question posed by Harding. We then study certain substitution-free reducts of the polyadic ortholattices, which we call…

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

To any non-negatively graded dg Lie algebra $g$ over a field $k$ of characteristic zero we assign a functor $\Sigma_g: art/k \to Kan$ from the category of commutative local artinian $k$-algebras with the residue field $k$ to the category of…