Related papers: A constructive Galois connection between closure a…

Based on previous work we consturct an equation (Lagrange equation) and relate it with a system of generalized integrals and differential equations in such a way to provide useful evaluations and connections between them.

Selective rationalization has become a common mechanism to ensure that predictive models reveal how they use any available features. The selection may be soft or hard, and identifies a subset of input features relevant for prediction. The…

Induction is the process by which we obtain predictive laws or theories or models of the world. We consider the structural aspect of induction. We answer the question as to whether we can find a finite and minmalistic set of operations on…

By defining a closure operator on effective equivalence relations in a regular category $C$, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories $L$ of $C$. When…

Given any polar pair of convex bodies we study its conjugate face maps and we characterize conjugate faces of non-exposed faces in terms of normal cones. The analysis is carried out using the positive hull operator which defines lattice…

We consider compact group actions on C*- and W*- algebras. We prove results that relate the duality property of the action (as defined in the Introduction) with other relevant properties of the system such as the relative commutant of the…

This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic…

We prove that the only natural differential operations between holomorphic forms on a complex manifold are those obtained using linear combinations, the exterior product and the exterior differential. In order to accomplish this task we…

Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synthesis of a program the type of which is a given formula. We…

We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…

Let A be a complete discrete valuation ring with possibly imperfect residue field. The purpose of this paper is to give a notion of conductor for Galois representations over A that generalizes the classical Artin conductor. The definition…

We study properties that allow first-order theories to be disjointly combined, including stable infiniteness, shininess, strong politeness, and gentleness. Specifically, we describe a Galois connection between sets of decidable theories,…

We construct a topology on a given algebraically closed field with a distinguished subfield which is also algebraically closed. This topology is finer than Zariski topology and it captures the sets definable in the pair of algebraically…

Curry-Howard correspondences between Linear Logic (LL) and session types provide a firm foundation for concurrent processes. As the correspondences hold for intuitionistic and classic versions of LL (ILL and CLL), we obtain two different…

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also…

The notion of a coalgebra-Galois extension is defined as a natural generalisation of a Hopf-Galois extension. It is shown that any coalgebra-Galois extension induces a unique entwining map $\psi$ compatible with the right coaction. For the…

A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given…

Multiple types can represent the same concept. For example, lists and trees can both represent sets. Unfortunately, this easily leads to incomplete libraries: some set-operations may only be available on lists, others only on trees.…

We show that Galois theory of cyclotomic number fields provides a powerful tool to construct systematically integer-valued matrices commuting with the modular matrix S, as well as automorphisms of the fusion rules. Both of these…