A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties
Result description
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.
Keywords
adjunctionadjoint functorcategory theoryuniversal algebracategory equivalencematrix powercontextual translationlocally presentable category
The result's identifiers
Result code in IS VaVaI
Result on the web
DOI - Digital Object Identifier
Alternative languages
Result language
angličtina
Original language name
A Logical and Algebraic Characterization of Adjunctions between Generalized Quasi-Varieties
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
Jimp - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
GF15-34650L: Modeling vague quantifiers in mathematical fuzzy logic
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Journal of Symbolic Logic
ISSN
0022-4812
e-ISSN
—
Volume of the periodical
83
Issue of the periodical within the volume
3
Country of publishing house
US - UNITED STATES
Number of pages
21
Pages from-to
899-919
UT code for WoS article
000448035800003
EID of the result in the Scopus database
2-s2.0-85051267771
Basic information
Result type
Jimp - Article in a specialist periodical, which is included in the Web of Science database
OECD FORD
Pure mathematics
Year of implementation
2018