Počet záznamů: 1  

A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties

  1. 1.
    0497013 - ÚI 2019 RIV US eng J - Článek v odborném periodiku
    Moraschini, Tommaso
    A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties.
    Journal of Symbolic Logic. Roč. 83, č. 3 (2018), s. 899-919. ISSN 0022-4812
    Grant CEP: GA ČR(CZ) GF15-34650L
    Grant ostatní:Austrian Science Fund(AT) I1897-N25
    Institucionální podpora: RVO:67985807
    Klíčová slova: adjunction * adjoint functor * category theory * universal algebra * category equivalence * matrix power * contextual translation * locally presentable category
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    Impakt faktor: 0.572, rok: 2018

    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.
    Trvalý link: http://hdl.handle.net/11104/0289622