Related papers: Constructive version of Boolean algebra
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
Let $\mathfrak{g}$ be a finite dimensional complex simple classical Lie superalgebra and $A$ be a commutative, associative algebra with unity over $\mathbb{C}$. In this paper we define an integral form for the universal enveloping algebra…
We explain how to perform topological twisting of supersymmetric field theories in the language of factorization algebras. Namely, given a supersymmetric factorization algebra with a choice of a topological supercharge we construct an…
We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\star )$. CBLP extends the so--called Boolean Lifting…
In this paper, we present a constructive generalization of metric and uniform spaces by introducing a new class of spaces, called cover spaces. These spaces form a topological concrete category with a full reflective subcategory of complete…
A definition of summability is put forward in the framework of general Carleman ultraholomorphic classes in sectors, so generalizing $k-$summability theory as developed by J.-P. Ramis. Departing from a strongly regular sequence of positive…
We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…
We introduce the notion of universal odd generalized Poisson superalgebra associated to an associative algebra A, by generalizing a construction made in [5]. By making use of this notion we give a complete classification of simple linearly…
This paper provides a unifying framework for a range of categorical constructions characterised by universal mapping properties, within the realm of compactifications of discrete structures. Some classic examples fit within this broad…
The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the…
We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the…
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…
In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph…
The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebraic topology,…
The algebra generated by the down and up operators on a differential partially ordered set (poset) encodes essential enumerative and structural properties of the poset. Motivated by the algebras generated by the down and up operators on…
This paper introduces a space of variable lotteries and proves a constructive version of the expected utility theorem. The word ``constructive'' is used here in two senses. First, as in constructive mathematics, the logic underlying proofs…
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…
We give a simpler proof of a result of Hodkinson in the context of a blow and blur up construction argueing that the idea at heart is similar to that adopted by Andr\'eka et all \cite{sayed}. The idea is to blow up a finite structure,…