Related papers: A categorical approach to injective envelopes

Variables are a crucial element in logic and are also addressed in institution theory, an effort to axiomatize logic. In institution theory, we typically use extensions (signature morphisms) obtained from variables instead of introducing…

In this paper we generalize a shift theorem, which plays a key role in studying representations of FI$^m$, the product category of the category of finite sets and injections, and classify finitely generated injective FI$^m$-modules over a…

It is shown that each linear operator on a separable Hilbert space which generates a finite type I von Neumann algebra has, up to unitary equivalence, a unique representation as a direct integral of inflations of mutually unitary…

Let $X$ be a compact Hausdorff space, let $E$ be a Banach space, and let $C(X,E)$ stand for the Banach space of $E$-valued continuous functions on $X$ under the uniform norm. In this paper we characterize Integral operators (in the sense of…

Classical block designs are important combinatorial structures with a wide range of applications in Computer Science and Statistics. Here we give a new abstract description of block designs based on the arrow category construction. We show…

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for…

In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of unitarity for both module tensor categories and…

A generalization of incidence relations in abstract polytope has been explored, and parameterized surfaces are used as primers. The abstract orientable incidence structure is defined as an algebraic model of incidence relations, in which…

We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…

We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object…

Tangent categories are categories equipped with a tangent functor: an endofunctor with certain natural transformations which make it behave like the tangent bundle functor on the category of smooth manifolds. They provide an abstract…

We present a Markl-style definition of operads colored by a small category. In the presence of a unit these are equivalent to substitudes of Day and Street. We show that operads colored by a category are internal algebras of a certain…

Consider a collection of vector subspaces of a given vector space and a collection of projectors on these vector spaces, can we decompose the vector space into a product of vector subspaces such that the projectors are isomorphic to…

This paper provides some first steps in developing empirical process theory for functions taking values in a vector space. Our main results provide bounds on the entropy of classes of smooth functions taking values in a Hilbert space, by…

We completely describe the boundedness of the Volterra type operator $J_ g$ between Hardy spaces in the unit ball of $\Cn$. The proof of the one dimensional case used tools, such as the strong factorization for Hardy spaces, that are not…

We use the injective envelope to study quasimultipliers of operator spaces. We prove that all representable operator algebra products that an operator space can be endowed with are induced by quasimultipliers. We obtain generalizations of…

We define the notion of a hypercube structure on a functor between two strictly commutative Picard categories which generalizes the notion of a cube structure on a $G_m$-torsor over an abelian scheme. We use this notion to define the…

We introduce the notion of $\lambda$-equivalence and $\lambda$-embeddings of objects in suitable categories. This notion specializes to $L_{\infty\lambda}$-equivalence and $L_{\infty\lambda}$-elementary embedding for categories of…

Fibrations over a category $B$, introduced to category theory by Grothendieck, encode pseudo-functors $B^{op} \rightsquigarrow {\bf Cat}$, while the special case of discrete fibrations encode presheaves $B^{op} \to {\bf Set}$. A two-sided…

We develop foundations for oriented category theory, an extension of $(\infty,\infty)$-category theory obtained by systematic usage of the Gray tensor product, in order to study lax phenomena in higher category theory. As categorical…