Related papers: An injective-type norm and integral bilinear forms…
Let $\mathcal{S}$ be a small category admitting binary products. We show that the whole theory of monoidal $\mathcal{S}$-fibered categories, which is customarily formulated in terms of the usual internal tensor product, can be rephrased…
Linear methods are ubiquitous for control and estimation problems. In this work, we present a number of tensor operator norms as a means to approximately bound the error associated with linear methods and determine the situations in which…
To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…
The possibility of defining sesquilinear forms starting from one or two sequences of elements of a Hilbert space is investigated. One can associate operators to these forms and in particular look for conditions to apply representation…
This article discuss a class of tractable model in the form of polynomial type.
An abelian Krull-Schmidt category is said to be uniserial if the isomorphism classes of subobjects of a given indecomposable object form a linearly ordered poset. In this paper, we classify the hereditary uniserial categories with Serre…
This paper is a sequel to "T-structures and twisted complexes on derived injectives" by the same author with W. Lowen and M. Van den Bergh. We define a dg-category of unbounded twisted complexes on a dg-category, which is particularly…
Higher order tensor inversion is possible for even order. We have shown that a tensor group endowed with the Einstein (contracted) product is isomorphic to the general linear group of degree $n$. With the isomorphic group structures, we…
We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product…
The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists…
We introduce and study a class of entanglement criteria based on the idea of applying local contractions to an input multipartite state, and then computing the projective tensor norm of the output. More precisely, we apply to a mixed…
In this paper we define the tensor product of two A$_{\infty}$-categories and two A$_{\infty}$-functors. This tensor product makes the category of A$_{\infty}$-categories symmetric monoidal (up to homotopy), and the category…
We generalize the definition of an exact sequence of tensor categories due to Brugui\`eres and Natale, and introduce a new notion of an exact sequence of (finite) tensor categories with respect to a module category. We give three…
A bilinear quadrature numerically evaluates a continuous bilinear map, such as the $L^2$ inner product, on continuous $f$ and $g$ belonging to known finite-dimensional function spaces. Such maps arise in Galerkin methods for differential…
We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…
In this paper, we are interested in the interplay between integral ternary quadratic forms and class numbers. This is partially motivated by a question of Petersson.
Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the…
Let $F$ be a field of odd characteristic, $E$ be a finite extension of $F$ equipped an involution with subfield of fixed points $E_0$ containing $F$ and $V$ be a finite dimensional $E$-vector space with a non-degenerate hermitian form $h$.…
We introduce the notion of inductive category in a model category and prove that it agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-) pointed…
Bilevel programs model sequential decision interactions between two sets of players and find wide applications in real-world complex systems. In this paper, we consider a bilevel mixed-integer linear program with binary tender, wherein the…