Some remarks on connectors and groupoids in Goursat categories
Autor: | Gran, M., Diana Rodelo, Tchoffo Nguefeu, I. |
---|---|
Přispěvatelé: | UCL - SST/IRMP - Institut de recherche en mathématique et physique |
Jazyk: | angličtina |
Rok vydání: | 2017 |
Předmět: |
Malcev categories
varieties of universal algebras Mathematics::Optimization and Control congruences Computer Science::Software Engineering Mathematics - Category Theory Mathematics - Rings and Algebras Categories Groupoids Mathematics::K-Theory and Homology Rings and Algebras (math.RA) 3-permutable varieties 08C05 08B05 08A30 08B10 18C05 18E10 Mathematics::Category Theory FOS: Mathematics Shifting lemma Category Theory (math.CT) Mathematics::Differential Geometry Connectors |
Zdroj: | Logical Methods in Computer Science, Vol. 13, no. 3, p. 1-12 (August 23, 2017) Repositório Científico de Acesso Aberto de Portugal Repositório Científico de Acesso Aberto de Portugal (RCAAP) instacron:RCAAP CIÊNCIAVITAE |
Popis: | We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb C$ is. This implies that Goursat categories can be characterised in terms of a simple property of internal groupoids. 14 pages, revised version (minor corrections) |
Databáze: | OpenAIRE |
Externí odkaz: |