Enriched logical connections

DOI10.1007/S10485-011-9267-YMaRDI QIDQ2392097zbMATH OpenOpenAlexFDO

Authors Alexander Kurz, Jiří Velebil

Publication date 1 August 2013

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-011-9267-y

zbMATH Keywords

logical connectionschizophrenic object

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Enriched categories (over closed or monoidal categories) (18D20)

Review text

In the setting of enriched category theory, the authors study dual adjunctions between ``spaces and ``algebras. Both spaces and algebras are equipped with faithful functors \(U:\mathrm{Alg}\to [\mathcal A,\mathcal V]\) and \(V:\mathrm{Spa}\to [\mathcal S,\mathcal V]\) where \(\mathcal A\) and \(\mathcal S\) are small \(\mathcal V\)-categories. These adjunctions are called enriched logical connections -- this terminology goes back to [\textit{D. Pavlovic} et al., Lect. Notes Comput. Sci. 4019, 308--322 (2006; Zbl 1236.68065)]. They were often studied in the case \(\mathcal V= \mathrm{Set}\), e.g., in [\textit{H. E. Porst} and \textit{W. Tholen}, Res. Expo. Math. 18, 111--136 (1991; Zbl 0761.18001)].

Recommendations

• General affine adjunctions, Nullstellensätze, and dualities
• scientific article; zbMATH DE number 19040
• On the logic of generalised metric spaces
• L-enriched topological systems -- a common framework of L-topology and L-frames
• Fundamental duality of abstract categories and its applications

Cites work

• A classification of accessible categories
• Adequate subcategories
• Expressiveness of positive coalgebraic logic
• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 19040 (Why is no real title available?)
• scientific article; zbMATH DE number 107550 (Why is no real title available?)
• scientific article; zbMATH DE number 3534647 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 2236038 (Why is no real title available?)
• Lifting properties ofV-functors¹
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Metric spaces, generalized logic, and closed categories
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Semi-intial and semi-finalV-functors¹
• Strongly complete logics for coalgebras
• Testing Semantics: Connecting Processes and Process Logics

Cited in

(5)

• A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
• Natural duality, modality, and coalgebra
• Extending set functors to generalised metric spaces
• Quasivarieties and varieties of ordered algebras: regularity and exactness
• A categorical approach to coalgebraic fixpoint logic

This page was built for publication: Enriched logical connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2392097)