Related papers: Interpreter fr topologists

The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…

A word-to-word function is continuous for a class of languages~$\mathcal{V}$ if its inverse maps $\mathcal{V}$_languages to~$\mathcal{V}$. This notion provides a basis for an algebraic study of transducers, and was integral to the…

This work describes experiments which probe the hidden representations of several BERT-style models for morphological content. The goal is to examine the extent to which discrete linguistic structure, in the form of morphological features…

We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional…

Let $C(\mathbf I)$ be the set of all continuous self-maps from ${\mathbf I}=[0,1]$ with the topology of uniformly convergence. A map $f\in C({\mathbf I})$ is called a transitive map if for every pair of non-empty open sets $U,V$ in…

Dimensions of level sets of generic continuous functions and generic H\"older functions defined on a fractal $F$ encode information about the geometry, ``the thickness" of $F$. While in the continuous case this quantity is related to a…

For a countable ordinal epsilon we construct a Sigma^0_2 subset of the Cantor space for which one may force aleph_epsilon translations with intersections of size 2i, but such that it has no perfect set of such translations in any ccc…

Lenses may be characterised as objects in the category of algebras over a monad, however they are often understood instead as morphisms, which propagate updates between systems. Working internally to a category with pullbacks, we define…

We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes…

Let $X$ and $Y$ be the Hausdorff topological spaces and let $A$ be both an $\fs$- and $\gd$- subset of $X$. Let also $f\cn A\to Y$ be a function for which the inverse image of every open subset $U\subset Y$ is $\fs$ in $X$. We show that $f$…

In this work we address the classical problem of classifying tuples of linear operators and linear functions on a finite dimensional vector space up to base change. Having adopted for the situation considered a construction of framed moduli…

We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on…

We construct a Schwartz function $\varphi$ such that for every exponentially small perturbation of integers $\Lambda$, the set of translates $\{\varphi(t-\lambda), \lambda\in\Lambda\}$ spans the space $L^p(R)$, for every $p > 1$. This…

$Vect(N)$, the algebra of vector fields in $N$ dimensions, is studied. Some aspects of local differential geometry are formulated as $Vect(N)$ representation theory. There is a new class of modules, {\it conformal fields}, whose…

This is the first paper in a series in which we lay down the foundations of the theory of interpretations. We systematically study different types of interpretations and their properties. Some of these interpretations are known, while…

We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of…

In this paper we study the Frobenius characters of the invariant subspaces of the tensor powers of a representation V. The main result is a formula for these characters for a polynomial functor of V involving the characters for V. The main…

A certain class of matrix-valued Borel matrix functions is introduced and it is shown that all functions of that class naturally operate on any operator T in a finite type I von Neumann algebra M in a way such that uniformly bounded…

We introduce spaces of exponential constructible functions in the motivic setting for which we construct direct image functors in the absolute and relative cases. This allows us to define a motivic Fourier transformation for which we get…