Eilenberg Theorems for Free

Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory. Numerous such correspondences are known in the literature. We demonstrate that they all arise from the same recipe: one models languages and the algebras recognizing them by monads on an algebraic category, and applies a Stone-type duality. Our main contribution is a variety theorem that covers e.g. Wilke's and Pin's work on $\infty$-languages, the variety theorem for cost functions of Daviaud, Kuperberg, and Pin, and unifies the two previous categorical approaches of Boja\'nczyk and of Ad\'amek et al. In addition we derive a number of new results, including an extension of the local variety theorem of Gehrke, Grigorieff, and Pin from finite to infinite words

Topological Connectedness and Behavioral Assumptions on Preferences: A Two-Way Relationship

This paper offers a comprehensive treatment of the question as to whether a binary relation can be consistent (transitive) without being decisive (complete), or decisive without being consistent, or simultaneously inconsistent or indecisive, in the presence of a continuity hypothesis that is, in principle, non-testable. It identifies topological connectedness of the (choice) set over which the continuous binary relation is defined as being crucial to this question. Referring to the two-way relationship as the Eilenberg-Sonnenschein (ES) research program, it presents four synthetic, and complete, characterizations of connectedness, and its natural extensions; and two consequences that only stem from it. The six theorems are novel to both the economic and the mathematical literature: they generalize pioneering results of Eilenberg (1941), Sonnenschein (1965), Schmeidler (1971) and Sen (1969), and are relevant to several applied contexts, as well as to ongoing theoretical work.Comment: 47 pages, 4 figure

Fibrational induction meets effects

This paper provides several induction rules that can be used to prove properties of effectful data types. Our results are semantic in nature and build upon Hermida and Jacobs’ fibrational formulation of induction for polynomial data types and its extension to all inductive data types by Ghani, Johann, and Fumex. An effectful data type μ(TF) is built from a functor F that describes data, and a monad T that computes effects. Our main contribution is to derive induction rules that are generic over all functors F and monads T such that μ(TF) exists. Along the way, we also derive a principle of definition by structural recursion for effectful data types that is similarly generic. Our induction rule is also generic over the kinds of properties to be proved: like the work on which we build, we work in a general fibrational setting and so can accommodate very general notions of properties, rather than just those of particular syntactic forms. We give examples exploiting the generality of our results, and show how our results specialize to those in the literature, particularly those of Filinski and Støvring

Commutants of von Neumann Correspondences and Duality of Eilenberg-Watts Theorems by Rieffel and by Blecher

The category of von Neumann correspondences from B to C (or von Neumann B-C-modules) is dual to the category of von Neumann correspondences from C' to B' via a functor that generalizes naturally the functor that sends a von Neumann algebra to its commutant and back. We show that under this duality, called commutant, Rieffel's Eilenberg-Watts theorem (on functors between the categories of representations of two von Neumann algebras) switches into Blecher's Eilenberg-Watts theorem (on functors between the categories of von Neumann modules over two von Neumann algebras) and back.Comment: 20 page