Year: 2019
Type: preprint
Abstract: We introduce the notion of star-symmetry for relations in a multi-pointed category and use it to obtain a characterization of the projective covers of 2-star-permutable categories. This generalizes the results of Rosický-Vitale for regular Mal'tsev categories, as well as those of Gran-Rodelo for regular subtractive categories. We apply the characterization in terms of star-symmetry to recover the syntactic conditions defining E-subtractive varieties in the sense of Ursini.
Source: arXiv (Cornell University)
Institution: UCLouvain
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Fonds Spéciaux de Recherche
OpenAlex ID: W2982354869