Počet záznamů: 1
A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties
SYS 0497013 LBL 01000a^^22220027750^450 005 20240103220954.6 014 $a 85051267771 $2 SCOPUS 014 $a 000448035800003 $2 WOS 017 $a 10.1017/jsl.2018.47 $2 DOI 100 $a 20181126d m y slo 03 ba 101 $a eng 102 $a US 200 1-
$a A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties 215 $a 21 s. 463 -1
$1 001 cav_un_epca*0257123 $1 011 $a 0022-4812 $e 1943-5886 $1 200 1 $a Journal of Symbolic Logic $v Roč. 83, č. 3 (2018), s. 899-919 $1 210 $c Cambridge University Press 610 $a adjunction 610 $a adjoint functor 610 $a category theory 610 $a universal algebra 610 $a category equivalence 610 $a matrix power 610 $a contextual translation 610 $a locally presentable category 700 -1
$3 cav_un_auth*0333530 $a Moraschini $b Tommaso $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $y ES $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1