Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/43923
Título: | Some remarks on connectors and groupoids in Goursat categories | Autor: | Gran, Marino Rodelo, Diana Nguefeu, Idriss Tchoffo |
Data: | 2017 | Editora: | Logical Methods in Computer Science | Projeto: | info:eu-repo/grantAgreement/FCT/5876/147205/PT UID/MAT/00324/2013 |
Título da revista, periódico, livro ou evento: | Logical Methods in Computer Science | Volume: | 13 | Número: | 3 | Resumo: | 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. | URI: | https://hdl.handle.net/10316/43923 | ISSN: | 1860-5974 | DOI: | 10.2168/LMCS-13(3:14)2017 | Direitos: | openAccess |
Aparece nas coleções: | I&D CMUC - Artigos em Revistas Internacionais |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
arXiv version SRCGGC.pdf | 340.99 kB | Unknown | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.