Publication
Some remarks on connectors and groupoids in goursat categories
| dc.contributor.author | Gran, Marino | |
| dc.contributor.author | Nguefeu, Idriss Tchoffo | |
| dc.contributor.author | Rodelo, Diana | |
| dc.date.accessioned | 2018-12-07T14:58:22Z | |
| dc.date.available | 2018-12-07T14:58:22Z | |
| dc.date.issued | 2017 | |
| dc.description.abstract | 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. | |
| dc.description.sponsorship | Portuguese Government through FCT/MCTES; European Regional Development Fund | |
| dc.identifier.doi | 10.23638/LMCS-13(3:14)2017 | |
| dc.identifier.issn | 1860-5974 | |
| dc.identifier.uri | http://hdl.handle.net/10400.1/11985 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Tech Univ Braunschweig | |
| dc.subject | Malcev categories | |
| dc.subject | 3-permutable varieties | |
| dc.subject | Shifting lemma | |
| dc.subject | Connectors | |
| dc.subject | Groupoids | |
| dc.title | Some remarks on connectors and groupoids in goursat categories | |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/5876/UID%2FMAT%2F00324%2F2013/PT | |
| oaire.citation.issue | 3 | |
| oaire.citation.startPage | 14 | |
| oaire.citation.title | Logical Methods in Computer Science | |
| oaire.citation.volume | 13 | |
| oaire.fundingStream | 5876 | |
| person.familyName | Rodelo | |
| person.givenName | Diana | |
| person.identifier.ciencia-id | 6C16-FCF9-64A0 | |
| person.identifier.orcid | 0000-0002-4816-3234 | |
| person.identifier.rid | AFH-8267-2022 | |
| person.identifier.scopus-author-id | 8216708900 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | |
| rcaap.type | article | |
| relation.isAuthorOfPublication | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 | |
| relation.isAuthorOfPublication.latestForDiscovery | 311bbe08-1f8a-4c84-87e7-23ddd55c89a3 | |
| relation.isProjectOfPublication | c4111c20-3162-48de-a0d1-dfff97d3d1e3 | |
| relation.isProjectOfPublication.latestForDiscovery | c4111c20-3162-48de-a0d1-dfff97d3d1e3 |
Files
Original bundle
1 - 1 of 1