Related papers: Galois theory for analogical classifiers
We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D.…
An algebraic model for the relation between a certain classical particle system and the quantum environment is proposed. The quantum environment is described by the category of possible quantum states. The initial particle system is…
In this paper, we describe Galois covers of algebraic curves and their families by using local systems associated to push-forward of sheaves by the structure morphism. More precisely, if $f:C\to Y$, we consider the sheaves $f_*(\C)$. The…
This thesis develops some of the basic model theory of covers of algebraic curves. In particular, an equivalence between the good model-theoretic behaviour of the modular j-function, and the openness of certain Galois representations in the…
We prove the Galois correspondence between the subgroups of a finite automorphism group G of a simple vertex operator algebra V and the vertex operator subalgebras of V containing the set V^G of G-invariants.
Analogy is a central faculty of human intelligence, enabling abstract patterns discovered in one domain to be applied to another. Despite its central role in cognition, the mechanisms by which Transformers acquire and implement analogical…
We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the…
Given a class C of word languages, the C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the…
Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations).…
We introduce Galois corings, and give a survey of properties that have been obtained so far. The Definition is motivated using descent theory, and we show that classical Galois theory, Hopf-Galois theory and coalgebra Galois theory can be…
We introduce Galois Theory for Hopf-Galois Extensions proving existence of a Galois connection between subalgebras of an H-comodule algebra and generalised quotients of the Hopf algebra H. Moreover, we show that these quotients Q which…
We revisit the problem of Stone duality for lattices with various quasioperators, first studied in [14], presenting a fresh duality result. The new result is an improvement over that of [14] in two important respects. First, the…
We compute all signatures of $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ which classify all orientation preserving actions of the groups $PSL_2(\mathbb{F}_7)$, and $PSL_2(\mathbb{F}_{11})$ on compact, connected, orientable surfaces…
Analogical reasoning is a powerful qualitative reasoning tool that enables humans to connect two situations, and to generalize their knowledge from familiar to novel situations. Cognitive Science research provides valuable insights into the…
The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more…
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of…
Galois orders, introduced in 2010 by V. Futorny and S. Ovsienko, form a class of associative algebras that contain many important examples, such as the enveloping algebra of $\mathfrak{gl}_n$ (as well as its quantum deformation),…
In this work, we establish a categorification of the classical Dold-Kan correspondence in the form of an equivalence between suitably defined $\infty$-categories of simplicial stable $\infty$-categories and connective chain complexes of…
This paper introduces a novel approach to understanding Galois theory, one of the foundational areas of algebra, through the lens of machine learning. By analyzing polynomial equations with machine learning techniques, we aim to streamline…
This paper illustrates the relationship between boolean propositional algebra and semirings, presenting some results of partial ordering on boolean propositional algebras, and the necessary conditions to represent a boolean propositional…