Intrinsic centrality and associated classifying properties (Q1858212)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intrinsic centrality and associated classifying properties
scientific article

    Statements

    Intrinsic centrality and associated classifying properties (English)
    0 references
    0 references
    12 February 2003
    0 references
    Let \({\mathcal C}\) be a left exact pointed category. The category \({\mathcal C}\) is called unital provided that, for any pair of objects \((X, Y)\), the pair of morphisms \((l_X = (1_X,0) : X\to X\times Y\), \(r_Y = (0,1_Y): Y\to X\times Y\)) is jointly extremal epimorphic. It is called strongly unital provided that any relation \((r_1,r_2) : R \rightrightarrows X\) in \({\mathcal C}\) such that there exist sections \(s_1 : X\to R\), \(s_2 : X\to R\) such that \(r_1s_1 = r_2s_2 = 1_X\) and \(r_1s_2 = 0\), is necessarily the coarse relation. Let \({\mathcal C}\) be unital. A pair of morphisms \((f : X \to Z\), \(g : Y\to Z)\) is said to cooperate provided that there exists a morphism \(\varphi : X\times Y\to Z\) such that \(\varphi l_X = f\) and \(\varphi r_Y = g\). A morphism \(f : X\to Y\) is called central provided the pair \((f,1_Y)\) cooperates. It is called symmetrizable provided it has, moreover, an inverse in the monoid \(z(X,Y)\) of central morphisms from \(X\) to \(Y\). An object \(X\) is commutative (resp. abelian) provided \(1_X\) is central (resp. symmetrizable). These notions are studied in this paper and related to classical notions of additivity. These notions can be applied to any left exact category \(\mathcal E\) via the canonical fibration of points \(\Pi_E : {\mathcal P}t{\mathcal E}\to{\mathcal E}\) whose fibres are left exact pointed categories, and they are related to properties of \(\mathcal E\).
    0 references
    centrality
    0 references
    Mal'cev
    0 references
    unital category
    0 references
    arithmetical
    0 references
    left exact pointed category
    0 references
    additivity
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references