Related papers: Unitary, Inner product, and Dagger categories
Category theory unifies mathematical concepts, aiding comparisons across structures by incorporating objects and morphisms, which capture their interactions. It has influenced areas of computer science such as automata theory, functional…
A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
Disentangling the factors of variation in data is a fundamental concept in machine learning and has been studied in various ways by different researchers, leading to a multitude of definitions. Despite the numerous empirical studies, more…
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…
A quadratic algebra is a homogeneous algebra generated by its elements of degree 1. Manin has endowed the category of quadratic algebras with two tensor products. These structures have been adapted to operads by Ginsburg and Kapranov.…
The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structures. %structures in terms of definability in the component…
This is the third part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part III), we introduce and study…
The theory of monads on categories equipped with a dagger (a contravariant identity-on-objects involutive endofunctor) works best when everything respects the dagger: the monad and adjunctions should preserve the dagger, and the monad and…
There are known two different constructions of contractible dg 2-operads, providing a weak 2-category structure on the following dg 2-quiver of small dg 2-categories. Its vertices are small dg 2-categories over a given field, arrows are dg…
We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems. We show that this definition of purity is closed under composition and taking…
The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…
Matrix-product unitaries (MPU) are 1D tensor networks describing time evolution and unitary symmetries of quantum systems, while their action on states by construction preserves the entanglement area law. MPU which are formed by a single…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
Categorical bundles provide a natural framework for gauge theories involving multiple gauge groups. Unlike the case of traditional bundles there are distinct notions of triviality, and hence also of local triviality, for categorical…
Following the analogy between algebras (monoids) and monoidal categories the construction of nucleus for non-associative algebras is simulated on the categorical level. Nuclei of categories of modules are considered as an example.
A heap is a structure with a ternary operation which is intuitively a group with forgotten unit element. Quantum heaps are associative algebras with a ternary cooperation which are to the Hopf algebras what heaps are to groups, and, in…
A new approach to the construction of general persistent polyhierarchical classifications is proposed. It is based on implicit description of category polyhierarchy by a generating polyhierarchy of classification criteria. Similarly to…
We deal with finite dimensional differentiable manifolds. All items are concerned with are differentiable as well. The class of differentiability is $C^\infty$. A metric structure in a vector bundle $E$ is a constant rank symmetric bilinear…
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…