2008
DOI: 10.1007/s10485-008-9166-z
|View full text |Cite
|
Sign up to set email alerts
|

Universal Strict General Actors and Actors in Categories of Interest

Abstract: For any category of interest C we define a general category of groups with operations C G , C → C G , and a universal strict general actor USGA(A) of an object A in C, which is an object of C G . The notion of actor is equivalent to the one of split extension classifier defined for an object in more general settings of semi-abelian categories. It is proved that there exists an actor of A in C if and only if the semidirect product USGA(A) A is an object of C and if it is the case, then USGA(A) is an actor of A.… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
77
0

Year Published

2013
2013
2024
2024

Publication Types

Select...
7
1

Relationship

1
7

Authors

Journals

citations
Cited by 37 publications
(77 citation statements)
references
References 17 publications
0
77
0
Order By: Relevance
“…A similar phenomenon occurs in any category of interest C, that might not be action representative. Nevertheless, it is shown in [11] that, viewing C as a subvariety of a variety C G of groups with operations, for every object X in C there exists an object USGA(X) in C G (the "universal strict general actor" of X), such that every action of an object Y in C on X yields a morphism Y → USGA(X) in C G . Then, as above, we get a commutative diagram in C G :…”
Section: Coproduct Of Crossed Modulesmentioning
confidence: 99%
“…A similar phenomenon occurs in any category of interest C, that might not be action representative. Nevertheless, it is shown in [11] that, viewing C as a subvariety of a variety C G of groups with operations, for every object X in C there exists an object USGA(X) in C G (the "universal strict general actor" of X), such that every action of an object Y in C on X yields a morphism Y → USGA(X) in C G . Then, as above, we get a commutative diagram in C G :…”
Section: Coproduct Of Crossed Modulesmentioning
confidence: 99%
“…The idea of the definition comes from [15] and the axioms are from [30] and [31]. We formulate two more axioms on C (Axiom (7) and Axiom (8) in [30]).…”
Section: Example 22mentioning
confidence: 99%
“…Since Leib is a category of interest (see [10]), hence is a category of Ω-groups, and following Proposition 4.3.2 in [19] we can conclude that the collection of all nilpotent objects of class ≤ c in Leib form a variety. Now following [15,Proposition 7.8], it can be showed that M Lie (q) is the Schur Lie-multiplier of a Leibniz algebra q (see [9,12]).…”
Section: Background On Leibniz Algebrasmentioning
confidence: 88%