Enriched logical connections
From MaRDI portal
Publication:2392097
DOI10.1007/S10485-011-9267-YzbMATH Open1298.18007OpenAlexW2159645683MaRDI QIDQ2392097FDOQ2392097
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
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
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Enriched categories (over closed or monoidal categories) (18D20)
Cites Work
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Strongly complete logics for coalgebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Metric spaces, generalized logic, and closed categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- A classification of accessible categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Testing Semantics: Connecting Processes and Process Logics
- Semi-intial and semi-finalV-functors1
- Adequate subcategories
- Lifting properties ofV-functors1
Cited In (5)
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)
