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)

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)