Počet záznamů: 1
A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties
- 1.
SYSNO ASEP 0497013 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties Tvůrce(i) Moraschini, Tommaso (UIVT-O) SAI, RID Zdroj.dok. Journal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
Roč. 83, č. 3 (2018), s. 899-919Poč.str. 21 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova adjunction ; adjoint functor ; category theory ; universal algebra ; category equivalence ; matrix power ; contextual translation ; locally presentable category Vědní obor RIV BA - Obecná matematika Obor OECD Pure mathematics CEP GF15-34650L GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 UT WOS 000448035800003 EID SCOPUS 85051267771 DOI https://doi.org/10.1017/jsl.2018.47 Anotace We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2019
Počet záznamů: 1