Related papers: HilbMult: A Banach-Enriched Multicategory for Oper…
In this paper we introduce the notion of an operator category and two different models for homotopy theory of $\infty$-operads over an operator category -- one of which extends Lurie's theory of $\infty$-operads, the other of which is…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
In my Montreal lecture notes of 1988, it was suggested that the theory of linear quantum groups can be presented in the framework of the category of {\it quadratic algebras} (imagined as algebras of functions on "quantum linear spaces"),…
Category theory is the language of homological algebra, allowing us to state broadly applicable theorems and results without needing to specify the details for every instance of analogous objects. However, authors often stray from the realm…
Quantum operations are the most widely used tool in the theory of quantum information processing, representing elementary transformations of quantum states that are composed to form complex quantum circuits. The class of quantum…
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to separate components of mathematical…
In this paper we develop the theory of operads, algebras and modules in cofibrantly generated symmetric monoidal model categories. We give J-semi model strucures, which are a slightly weaker version of model structures, for operads and…
The multiple-quantum NMR spectroscopy has an extensive application in determination of the bio-macro-molecular structures and in the investigation of the properties of a variety of physical materials. In quantum computation the…
We present an unbiased theory of symmetric multicategories, where sequences are replaced by families. To be effective, this approach requires an explicit consideration of indexing and reindexing of objects and arrows, handled by the double…
Over the decades, Functional Analysis has been enriched and inspired on account of demands from neighboring fields, within mathematics, harmonic analysis (wavelets and signal processing), numerical analysis (finite element methods,…
We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$. Our theory is…
In quantum mechanics, the selfadjoint Hilbert space operators play a triple role as observables, generators of the dynamical groups and statistical operators defining the mixed states. One might expect that this is typical of Hilbert space…
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from areas as diverse as topology, quantum algebra, mathematical physics,…
In topological equivalence, a bounded linear operator between Banach spaces - we focus on the case of Hilbert spaces - is viewed as only acting linearly and continuously between them qua different spaces with the structure of linear…
Operads are algebraic devices offering a formalization of the concept of operations with several inputs and one output. Such operations can be naturally composed to form bigger and more complex ones. Coming historically from algebraic…
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…
We present other examples illustrating the operator-theoretic approach to invariant integrals on quantum homogeneous spaces developed by Kuersten and the second author. The quantum spaces are chosen such that their coordinate algebras do…
An outline and summary of four new potential applications of category theory to OOP research are presented. These include (1) the use of operads to model Java subtyping, (2) the use of Yoneda's lemma and representable functors in the…
In various subjects including mathematics, one can hope to use mathematical thinking well when the right kinds of algebraic structure to consider can be discovered or spotted. Therefore, it would help to understand kinds of algebraic…
Our starting point is a particular `canvas' aimed to `draw' theories of physics, which has symmetric monoidal categories as its mathematical backbone. In this paper we consider the conceptual foundations for this canvas, and how these can…