Repository logo
 

Search Results

Now showing 1 - 4 of 4
  • Some remarks on connectors and groupoids in goursat categories
    Publication . Gran, Marino; Nguefeu, Idriss Tchoffo; Rodelo, Diana
    We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category Conn(C) of connectors in C is a Goursat category whenever C is. This implies that Goursat categories can be characterised in terms of a simple property of internal groupoids.
  • Internal structures in n-permutable varieties
    Publication . Rodelo, Diana
    We analyze the notions of reflexive multiplicative graph, internal category and internal groupoid for n-permutable varieties. (C) 2012 Elsevier B.V. All rights reserved.
  • Beck-Chevalley condition and Goursat categories
    Publication . Gran, Marino; Rodelo, Diana
    We characterise regular Goursat categories through a specific stability property of regular epimorphisms with respect to pullbacks. Under the assumption of the existence of some pushouts this property can be also expressed as a restricted Beck Chevalley condition, with respect to the fibration of points, for a special class of commutative squares. In the case of varieties of universal algebras these results give, in particular, a structural explanation of the existence of the ternary operations characterising 3-permutable varieties of universal algebras.
  • Stability properties characterising n- permutable categories
    Publication . Jacqmin, Pierre-Alain; Rodelo, Diana
    The purpose of this paper is two-fold. A first and more concrete aim is to characterise n-permutable categories through certain stability properties of regular epimorphisms. These characterisations allow us to recover the ternary terms and the (n + 1)-ary terms describing n-permutable varieties of universal algebras. A second and more abstract aim is to explain two proof techniques, by using the above characterisation as an opportunity to provide explicit new examples of their use: an embedding theorem for n-permutable categories which allows us to follow the varietal proof to show that an n-permutable category has certain properties; the theory of unconditional exactness properties which allows us to remove the assumption of the existence of colimits, in particular when we use the approximate co-operations approach to show that a regular category is n-permutable.