Non-Pointed Strongly Protomodular Theories

被引:0
|
作者
F. Borceux
机构
[1] Faculté des Sciences,
[2] Université Catholique de Louvain,undefined
[3] Louvain-la-Neuve,undefined
来源
关键词
strongly protomodular category; semi-Abelian category; normal subobject; -algebra; ring; Boolean algebra; Heyting algebra;
D O I
暂无
中图分类号
学科分类号
摘要
We give criterions for strong protomodularity and prove that the strong protomodularity of an algebraic theory is inherited by its models in a category with finite limits. We give examples of strongly protomodular theories with several constants: C*-algebras, rings, Heyting algebras and Boolean algebras.
引用
收藏
页码:319 / 338
页数:19
相关论文
共 50 条
  • [1] Non-pointed strongly protomodular theories
    Borceux, F
    [J]. APPLIED CATEGORICAL STRUCTURES, 2004, 12 (04) : 319 - 338
  • [2] Non-pointed luminaires and their photometry
    Skoda, Jan
    Baxant, Petr
    [J]. PRZEGLAD ELEKTROTECHNICZNY, 2008, 84 (08): : 44 - 46
  • [3] Representations of a non-pointed Hopf algebra
    Yang, Ruifang
    Yang, Shilin
    [J]. AIMS MATHEMATICS, 2021, 6 (10): : 10523 - 10539
  • [4] On eigenvectors of convex processes in non-pointed cones
    Eising, Jaap
    Camlibel, M. Kanat
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2022, 513 (02)
  • [5] On cartesian closed extensions of non-pointed domains
    Zhang, Zhongxi
    Li, Qingguo
    [J]. THEORETICAL COMPUTER SCIENCE, 2017, 691 : 1 - 9
  • [6] NON-POINTED EXACTNESS, RADICALS, CLOSURE OPERATORS
    Grandis, M.
    Janelidze, G.
    Marki, L.
    [J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 2013, 94 (03) : 348 - 361
  • [7] ABELIAN GROUPOIDS AND NON-POINTED ADDITIVE CATEGORIES
    Bourn, Dominique
    [J]. THEORY AND APPLICATIONS OF CATEGORIES, 2008, 20 : 48 - 73
  • [8] INCREASING THE LIFE OF NON-POINTED TOOLS IN DIAGONAL TURNING
    AVAKOV, AA
    [J]. SOVIET ENGINEERING RESEARCH, 1982, 2 (03): : 79 - 80
  • [9] MONOIDS AND POINTED S-PROTOMODULAR CATEGORIES
    Bourn, Dominique
    Martins-Ferreira, Nelson
    Montoli, Andrea
    Sobral, Manuela
    [J]. HOMOLOGY HOMOTOPY AND APPLICATIONS, 2016, 18 (01) : 151 - 172
  • [10] STAR-MULTIPLICATIVE GRAPHS IN POINTED PROTOMODULAR CATEGORIES
    Martins-Ferreira, N.
    [J]. THEORY AND APPLICATIONS OF CATEGORIES, 2010, 23 : 170 - 198