Related papers: On Vector Spaces with Formal Infinite Sums
This paper describes a relationship between essentially finite groupoids and 2-vector spaces. In particular, we show to construct 2-vector spaces of Vect-valued presheaves on such groupoids. We define 2-linear maps corresponding to functors…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We usually define an algebraic structure by a set, some operations defined on this set and some propositions that the algebraic structure must validate. In some cases, we can replace these propositions by an algorithm on terms constructed…
Let E be a Dedekind complete Riesz space with weak unit e, equipped with a conditional expectation operator T. We prove that the spaces Lp(T), with their natural vector-valued norms, are strongly complete, extending the p=2 case of Kuo,…
We explore an alternative definition of unit in a monoidal category originally due to Saavedra: a Saavedra unit is a cancellative idempotent (in a 1-categorical sense). This notion is more economical than the usual notion in terms of…
Vectors are universal mathematical objects that can represent text, images, speech, or a mix of these data modalities. That happens regardless of whether data is represented by hand-crafted features or learnt embeddings. Collect a large…
We construct a new category of vector spaces which contains both the standard category of vector spaces and Grassmannians. Its space of objects classifies vector bundles, its space of morphisms classifies bundle isomorphisms, and it can be…
Tensor products are ubiquitous in algebra, topology, logic and category theory. The present paper explores the monoidal structure of the category $\mathcal{V}\hspace{0pt}\mbox{-}\hspace{.5pt}\mathbf{Sup}$ of separated cocomplete enriched…
We produce full strong exceptional collections consisting of vector bundles on the geometric invariant theory quotient of certain linear actions of a split reductive group $G$ of rank two. The vector bundles correspond to irreducible…
The vector space of the multi-indexed sequences over a field and the vector space of the sequences with finite support are dual to each other, with respect to a \textit{scalar product}, which we used to define \textit{orthogonals} in these…
We prove the classification of the real vector subspaces of a quaternionic vector space by using a covariant functor which, to any pair formed of a quaternionic vector space and a real subspace, associates a coherent sheaf over the sphere.
We prove that if a subset of the d-dimensional vector space over a finite field is large enough, then it contains many k-tuples of mutually orthogonal vectors.
A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fra\"iss\'e theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to…
We develop a theory of measures, differential forms and Fourier tramsforms on some infinite-dimensional real vector spaces by generalizing the following two constructions: (a) The construction of the semiinfinite wedge power of a Tate…
Recently, a geometrical characterization of vector spaces served to generalize them into a new class of algebras. Instead of the algebraic properties of the underlying fields, we generalized the recently discovered property of such spaces…
We consider multiple and set-indexed sums of random vectors taking values in Euclidean space of growing dimension. It is shown that, when viewed as finite metric spaces, the sets of values of such sums converge in probability. The limit is…
A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…
We define a notion of category enriched over an oplax monoidal category $V$, extending the usual definition of category enriched over a monoidal category. Even though oplax monoidal structures involve infinitely many functors $V^n\to V$,…
The sequence space of all real-valued sequences, denoted $Seq(\mathbb{R})$, is typically investigated through the lens of infinite-dimensional vector spaces, utilizing Banach space norms or Schauder bases. This work proposes a…
We define and study a certain category of vector bundles on a p-adic curve to which we can associate in a functorial way finite dimensional p-adic representations of the geometric fundamental group. Among other things we investigate two…