Enriched logical connections

DOI10.1007/s10485-011-9267-yzbMath1298.18007MaRDI QIDQ2392097

Jiří Velebil, Alexander Kurz

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 connection; schizophrenic object

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

18D20: Enriched categories (over closed or monoidal categories)

Related Items

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

Cites Work

• Adequate subcategories
• A classification of accessible categories
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Strongly Complete Logics for Coalgebras
• Semi-intial and semi-finalV-functors¹
• Lifting properties ofV-functors¹
• Testing Semantics: Connecting Processes and Process Logics
• Metric spaces, generalized logic, and closed categories
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item