2018
DOI: 10.1142/s0218216518500207
|View full text |Cite
|
Sign up to set email alerts
|

How to centralize and normalize quandle extensions

Abstract: We show that quandle coverings in the sense of Eisermann form a (regular epi) reflective subcategory of the category of surjective quandle homomorphisms, both by using arguments coming from categorical Galois theory and by constructing concretely a centralization congruence. Moreover, we show that a similar result holds for normal quandle extensions.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1

Citation Types

0
10
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 6 publications
(10 citation statements)
references
References 14 publications
0
10
0
Order By: Relevance
“…Amongst other results, we derive that the centralizing relations, if they exist, should be the same in both contexts. We then prove (Section 3.4) several characterizations of these centralizing relations, and extend the results from [24] on the reflectivity of coverings in extensions. In preparation for the admissibility in dimension 2, we show that coverings are closed under quotients along double extensions (towards "Birkhoff") and we show the commutativity property of the kernel pair of the centralization unit (towards "strongly Birkhoff").…”
mentioning
confidence: 54%
See 3 more Smart Citations
“…Amongst other results, we derive that the centralizing relations, if they exist, should be the same in both contexts. We then prove (Section 3.4) several characterizations of these centralizing relations, and extend the results from [24] on the reflectivity of coverings in extensions. In preparation for the admissibility in dimension 2, we show that coverings are closed under quotients along double extensions (towards "Birkhoff") and we show the commutativity property of the kernel pair of the centralization unit (towards "strongly Birkhoff").…”
mentioning
confidence: 54%
“…By Corollary 3.3.6, what we deduced about the functor F 1 restricts to the domain CExtQnd, and so also describes the left adjoint to the inclusion in ExtQnd from Theorem 5.5. in [24]. In addition to Corollary 3.3.6, we further describe how centralization behaves with respect to r F q .…”
Section: 3mentioning
confidence: 93%
See 2 more Smart Citations
“…such that f (a) = f (b). A surjective morphism of racks or quandles f : A → B can be centralized, using a quotient of its domain, given by the centralization congruence C 1 A over A generated by the pairs (x, y) such that there exists (a, b) ∈ Eq(f ) such that y = x ⊳ a ⊳ −1 b (see [20] and Part I).…”
Section: Introductionmentioning
confidence: 99%