Retractions of cyclic nitely supported Cb-sets
Închide
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

Retractions of cyclic nitely supported Cb-sets

CZU: 512.546
MSC 2010: 08A30,18A20,20B30,20M30,20M50,68Q70

Pag. 53-66

Ebrahimi Mohammad M., Keshvardoost Khadijeh, Mahmoudi Mojgan
 
Shahid Beheshti University, Tehran
 
 
Disponibil în IBN: 17 august 2018


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.