92 research outputs found

    On closure operators and reflections in Goursat categories

    Get PDF
    By defining a closure operator on effective equivalence relations in a regular category CC, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories LL of CC. When CC is an exact Goursat category this correspondence restricts to a bijection between the Birkhoff closure operators on effective equivalence relations and the Birkhoff subcategories of CC. In this case it is possible to provide an explicit description of the closure, and to characterise the congruence distributive Goursat categories.Comment: 14 pages. Accepted for publication in "Rendiconti dell'Istituto Matematico di Trieste

    Enriched accessible categories

    Full text link

    On the representability of actions for topological algebras

    Get PDF
    The actions of a group B on a group X correspond bijectively to the group homomorphisms B ⟶ Aut(X), proving that the functor “actions on X” is representable by the group of automorphisms of X. Making the detour through pseudotopological spaces, we generalize this result to the topological case, for quasi-locally compact groups and some other algebraic structures. We investigate next the case of arbitrary topological algebras for a semi-abelian theory and prove that the representability of topological actions reduces to the preservation of coproducts by the functor Act(−,X)

    [Concerning a Barr Theorem]

    Full text link

    Sheaves of Algebras for a Commutative Theory

    Full text link

    An algebraic approach to geometry

    Full text link
    This is a unified treatment of the various algebraic approaches to geometric spaces. The study of algebraic curves in the complex projective plane is the natural link between linear geometry at an undergraduate level and algebraic geometry at a graduate level, and it is also an important topic in geometric applications, such as cryptography. 380 years ago, the work of Fermat and Descartes led us to study geometric problems using coordinates and equations. Today, this is the most popular way of handling geometrical problems. Linear algebra provides an efficient tool for studying all the first degree (lines, planes, …) and second degree (ellipses, hyperboloids, …) geometric figures, in the affine, the Euclidean, the Hermitian and the projective contexts. But recent applications of mathematics, like cryptography, need these notions not only in real or complex cases, but also in more general settings, like in spaces constructed on finite fields. And of course, why not also turn our attention to geometric figures of higher degrees? Besides all the linear aspects of geometry in their most general setting, this book also describes useful algebraic tools for studying curves of arbitrary degree and investigates results as advanced as the Bezout theorem, the Cramer paradox, topological group of a cubic, rational curves etc. Hence the book is of interest for all those who have to teach or study linear geometry: affine, Euclidean, Hermitian, projective; it is also of great interest to those who do not want to restrict themselves to the undergraduate level of geometric figures of degree one or two
    corecore