Retractable nitely supported Cb-sets
Close
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
534 3
Ultima descărcare din IBN:
2021-01-15 10:18
Căutarea după subiecte
similare conform CZU
510.22 (3)
General problems of mathematical logic. Foundations of mathematics (5)
SM ISO690:2012
KESHVARDOOST, Khadijeh. Retractable nitely supported Cb-sets. In: Quasigroups and Related Systems, 2019, vol. 27, nr. 2(42), pp. 251-266. ISSN 1561-2848.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Quasigroups and Related Systems
Volumul 27, Numărul 2(42) / 2019 / ISSN 1561-2848

Retractable nitely supported Cb-sets

CZU: 510.22

Pag. 251-266

Keshvardoost Khadijeh
 
Shahid Beheshti University, Tehran
 
 
Disponibil în IBN: 25 martie 2020


Rezumat

A construction for retractable state-nite automata without outputs has been given by Nagy. Retractable automata are automata all whose sub automata are retracts of it, and retracts are the subobjects whose related inclusion morphism have a left inverse. Studying retracts is an important subject in dierent branches of mathematics as well as computer science. In this paper, following Nagy's works, we study retractable nitely supported Cb-sets. The category of nitely supported Cb-sets introduced by Pitts is equivalent to one of the presheaf categories of Bazem, Coquand, and Huber. We characterize retractable nitely supported Cbsets as ones which have a decomposition into retractable components. We also give a description of retractable cyclic nitely supported Cb-sets. Furthermore, recalling the notion of s-separated nitely supported Cb-sets, and support maps, we construct a subcategory of nitely supported Cb-sets consisted of s-separated nitely supported Cb-sets with 2-equivariant support maps, and characterize its retractable objects.