|
|||||
|
|
Non-Pointed Strongly Protomodular Theories |
|
| Authors: | F Borceux |
| Affiliation: | (1) Faculté des Sciences, Université Catholique de Louvain, Louvain-la-Neuve, Belgium. e-mail |
| Abstract: | 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. |
| Keywords: | strongly protomodular category semi-Abelian category normal subobject C *-algebra ring Boolean algebra Heyting algebra |
| 本文献已被 SpringerLink 等数据库收录！ | |
