Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
![]() |
![]() ![]() |
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) |
![]() 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 | ||||||
|
||||||
CZU: 510.22 | ||||||
Pag. 251-266 | ||||||
|
||||||
![]() |
||||||
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. |
||||||
|