Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Diana Rodelo"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 3, Iss Algebraic methods (2017)
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 c
Externí odkaz:
https://doaj.org/article/545bb7e29b6b408d86b8716946ec93bc
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
For a given variety V of algebras, we define a class relation to be a binary relation R subset of S(2)which is of the form R = S-2 boolean AND K for some congruence class K on A(2), where A is an algebra in V such that S subset of A. In this paper we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b4a3f8b45533a481b4f36a80827c96f
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Applied Categorical Structures, Vol. 28, no. 3, p. 517-538 (2020)
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Applied Categorical Structures, Vol. 28, no. 3, p. 517-538 (2020)
In the context of regular unital categories we introduce an intrinsic version of the notion of a Schreier split epimorphism, originally considered for monoids. We show that such split epimorphisms satisfy the same homological properties as Schreier s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::513517b0536dbb1ccbf1d4f8a8ec235d
http://arxiv.org/abs/1911.08770
http://arxiv.org/abs/1911.08770
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Journal of Pure and Applied Algebra, Vol. 224, no.10, p. 106380 (2020)
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Journal of Pure and Applied Algebra, Vol. 224, no.10, p. 106380 (2020)
We give new characterisations of regular Mal'tsev categories with distributive lattice of equivalence relations through variations of the so-called Triangular Lemma and Trapezoid Lemma in universal algebra. We then give new characterisations of equiv
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Algebra Universalis, Vol. 80, no.2, p. 1-12 (2019)
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Algebra Universalis, Vol. 80, no.2, p. 1-12 (2019)
We prove that Mal'tsev and Goursat categories may be characterised through stronger variations of the Shifting Lemma, that is classically expressed in terms of three congruences $R$, $S$ and $T$, and characterises congruence modular varieties. We fir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3151dad9ecc6778679a79f8e82232450
http://arxiv.org/abs/1809.10408
http://arxiv.org/abs/1809.10408
Autor:
Diana Rodelo, Marino Gran
Publikováno v:
Journal of Pure and Applied Algebra, Vol. 221, no. 10, p. 2245-2457 (October 2017)
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
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-Cheval
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea62717657bf5fe47bf48444236fb5de
https://hdl.handle.net/10316/89464
https://hdl.handle.net/10316/89464
Publikováno v:
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
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
CIÊNCIAVITAE
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 c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::269fa6b4e79af50a42a88a370c5fea19
https://hdl.handle.net/2078.1/181875
https://hdl.handle.net/2078.1/181875
Autor:
Diana Rodelo, Marino Gran
Publikováno v:
Applied Categorical Structures. 22:805-816
We prove that a regular category $\mathcal C$ is a Mal'tsev category if and only if a strong form of the denormalised $3 \times 3$ Lemma holds true in $\mathcal C$. In this version of the $3 \times 3$ Lemma, the vertical exact forks are replaced by p
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
The aim of this paper is to solve a problem proposed by Dominique Bourn: to provide a categorical-algebraic characterisation of groups amongst monoids and of rings amongst semirings. In the case of monoids, our solution is given by the following equi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cfc35f34c012db68518b15974feda856
http://arxiv.org/abs/1606.08649
http://arxiv.org/abs/1606.08649
Autor:
Tim Van der Linden, Diana Rodelo
Publikováno v:
Advances in mathematics, Vol. 287, p. 31–108 (2016)
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain sense, bet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639a7e771ffa743c92679bd84ee6b44c
https://hdl.handle.net/2078.1/105237
https://hdl.handle.net/2078.1/105237