Related papers: An inductive machinery for representations of cate…
The behaviour of a space-modulated, so-called "argumental" oscillator is studied, which is represented by a model having an even-parity space-modulating function. Analytic expressions of a stability criterion and of discrete energy levels…
We study the operator-valued positive definite functions on a group using positive block matrices. We give an alternative proof to Brehmer positivity for doubly commuting contractions. We classify all commuting unitary representations over…
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…
The goal of invariant theory is to find all the generators for the algebra of representations of a group that leave the group invariant. Such generators will be called \emph{basic invariants}. In particular, we set out to find the set of…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
We start with definitions of the general notions of the theory of $\Bbb Z_{2}$-graded algebras. Then we consider theory of inductive families of $\Bbb Z_{2}$-graded semisimple finite-dimensional algebras and its representations in the…
In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…
The stability rule for belief, advocated by Leitgeb [Annals of Pure and Applied Logic 164, 2013], is a rule for rational acceptance that captures categorical belief in terms of $\textit{probabilistically stable propositions}$: propositions…
In this paper we consider a norm based on the infinitesimal generator of the shift semigroup in a direction. The relevance of such a focus is guaranteed by an abstract representation of a fractional integro-differential operator by means of…
This work studies conditions under which integral transforms induce exact functors on singularity categories between schemes that are proper over a Noetherian base scheme. A complete characterization for this behavior is provided, which…
Visual representations are defined in terms of minimal sufficient statistics of visual data, for a class of tasks, that are also invariant to nuisance variability. Minimal sufficiency guarantees that we can store a representation in lieu of…
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort…
Represented spaces form the general setting for the study of computability derived from Turing machines. As such, they are the basic entities for endeavors such as computable analysis or computable measure theory. The theory of represented…
Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of…
The main purpose of this article is to provide a common generalization of the notions of a topological and Kolmogorov-Sinai entropy for arbitrary representations of discrete amenable groups on objects of (abstract) categories. This is…
In this paper we study families of representations of the outer automorphism groups indexed on a collection of finite groups $\mathcal{U}$. We encode this large amount of data into a convenient abelian category $\mathcal{A}\mathcal{U}$…
In this paper, we generalize the principle of the Long-Moody construction for representations of braid groups to other groups, such as mapping class groups of surfaces. Namely, we introduce endofunctors over a functor category that encodes…
We study basic properties of the category of smooth representations of a p-adic group G with coefficients in any commutative ring R in which p is invertible. Our main purpose is to prove that Hecke algebras are noetherian whenever R is ; a…
The increasing demand for Fourier transforms on geometric algebras has resulted in a large variety. Here we introduce one single straight forward definition of a general geometric Fourier transform covering most versions in the literature.…
The necessary and sufficient conditions for existence of a generalized representer theorem are presented for learning Hilbert space-valued functions. Representer theorems involving explicit basis functions and Reproducing Kernels are a…