Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
672 3 |
Ultima descărcare din IBN: 2020-11-07 20:06 |
Căutarea după subiecte similare conform CZU |
512.546 (5) |
Algebră (400) |
SM ISO690:2012 EBRAHIMI, Mohammad M., KESHVARDOOST, Khadijeh, MAHMOUDI, Mojgan. Retractions of cyclic nitely supported Cb-sets. In: Quasigroups and Related Systems, 2018, vol. 26, nr. 1(39), pp. 53-66. ISSN 1561-2848. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Quasigroups and Related Systems | ||||||
Volumul 26, Numărul 1(39) / 2018 / ISSN 1561-2848 | ||||||
|
||||||
CZU: 512.546 | ||||||
MSC 2010: 08A30,18A20,20B30,20M30,20M50,68Q70 | ||||||
Pag. 53-66 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
The monoid Cb of name substitutions originated by Pitts in name abstraction, and the notion of a finitely supported Cb-set appeared in the study of models of homotopy type theory in the works of Gabbay and Pitts. On the other hand, retracts and retractions play a crucial role in most branches of mathematics as well as in computer science where partial morphisms need to be completed. Retracts are the subobjects whose related inclusion morphism have a left inverse, called retraction. In this paper, we study the retracts and retractions of cyclic finitely supported Cb-sets. We _nd the general de_nition of retractions from a cyclic Cb-set, and give necessary conditions under which retractions exist. Also, fix-simple retracts of a cyclic Cb-set are characterized. Further, the cyclic finitely supported Cb-sets all whose subobjects are retract, are studied. In particular, we give a necessary condition for a cyclic finitely supported Cb-set to be retractable |
||||||
Cuvinte-cheie Cb-set, nitelysupp orted, retract, retractable. |
||||||
|