Related papers: Borel Functors and Infinitary Interpretations
Let $G$ and $\tilde G$ be reductive groups over a local field $F$. Let $\eta : \tilde G \to G$ be a $F$-homomorphism with commutative kernel and commutative cokernel. We investigate the pullbacks of irreducible admissible…
The paper concerns fractal homeomorphism between the attractors of two bi-affine iterated function systems. After a general discussion of bi-affine functions, conditions are provided under which a bi-affine iterated function system is…
We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally…
We introduce a functor of functionals which preserve maximum of comonotone functions and addition of constants. This functor is a subfunctor of the functor of order-preserving functionals and contains the idempotent measure functor as…
In this survey we discuss the notion of combinatorial interpretation in the context of Algebraic Combinatorics and related areas. We approach the subject from the Computational Complexity perspective. We review many examples, state a…
We define a class of morphisms between \'etale groupoids and show that there is a functor from the category with these morphisms to the category of $C^*$-algebras. We show that all homomorphisms between Cartan pairs of $C^*$-algebras that…
In this paper, it is demonstrated that there is a parallelism between the relational interpretation of Rovelli and the interpretation of soft matter based on intermediate asymptotics. The general interpretation of physics strongly assumes…
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…
Mechanistic interpretability aims to explain neural model behaviour by reverse-engineering learned computational structure into human-understandable components. Without a formal framework, however, mechanistic explanations cannot be…
We describe an "interpretability illusion" that arises when analyzing the BERT model. Activations of individual neurons in the network may spuriously appear to encode a single, simple concept, when in fact they are encoding something far…
We show that if an automorphism of a standard Borel space does not admit finite invariant measures, then it has a two-set generator modulo the sigma-ideal generated by wandering sets. This implies that if the entropies of invariant…
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 are interested in the problem of translating between two representations of closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, the problem is open. Motivated by this problem, we introduce…
Multifractal formalism is designed to describe the distribution at small scales of the elements of $\mathcal M^+_c(\R^d)$, the set of positive, finite and compactly supported Borel measures on $\R^d$. It is valid for such a measure $\mu$…
We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite…
To tackle interpretability in deep learning, we present a novel framework to jointly learn a predictive model and its associated interpretation model. The interpreter provides both local and global interpretability about the predictive…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…
Integro-differential methods, currently exploited in calculus, provide an inexhaustible source of tools to be applied to a wide class of problems, involving the theory of special functions and other subjects. The use of integral transforms…