Chu connections and back diagonals between Q-distributors
From MaRDI portal
Publication:899562
Abstract: Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid . These notions, meaningful for closed bicategories, dualize the constructions of arrow categories and the Freyd completion of categories. It is shown that, for a small quantaloid , the category of complete -categories and left adjoints is a retract of the dual of the category of -distributors and Chu connections, and it is dually equivalent to the category of -distributors and back diagonals. As an application of Chu connections, a postulation of the intuitive idea of reduction of formal contexts in the theory of formal concept analysis is presented, and a characterization of reducts of formal contexts is obtained.
Recommendations
- Diagonals between \(\mathcal{Q}\)-distributors
- scientific article; zbMATH DE number 3875559
- Galois connections, Chu mappings and bonds
- Connected chord diagrams and the combinatorics of asymptotic expansions
- scientific article; zbMATH DE number 1083779
- scientific article; zbMATH DE number 3843811
- scientific article; zbMATH DE number 9298
- On connected component decompositions of quandles
- Dirac's theorem on chordal graphs and Alexander duality
- On connectedness and disconnectedness in \(Q\)-TOP
Cites work
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1249514 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 2172965 (Why is no real title available?)
- scientific article; zbMATH DE number 896756 (Why is no real title available?)
- *-Autonomous categories and linear logic
- A 2-categories companion
- A non-commutative and non-idempotent theory of quantale sets
- Algebraic Analysis of Many Valued Logics
- An extended view of the Chu-construction
- An introduction to quantaloid-enriched categories
- Beyond the Chu-construction
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
- Chu correspondences
- Compact Semigroups Irreducibly Connected Between Two Idempotents
- Computer science today. Recent trends and developments
- Elementary characterisation of small quantaloids of closed cribles
- Free quantaloids
- Girard quantaloids
- Metric spaces, generalized logic, and closed categories
- Nonsymmetric \(^{\ast}\)-autonomous categories
- On the monad of proper factorisation systems in categories
- On the structure of semi-groups on a compact manifold with boundary
- Quantales and (noncommutative) linear logic
- Quantaloidal nuclei, the syntactic congruence and tree automata
- Relational Galois Connections
- Topological categories, quantaloids and Isbell adjunctions
- Triangular norms
- Variation through enrichment
- Weak adjoint functors
- Weak subobjects and the epi-monic completion of a category.
- \(*\)-autonomous categories of bimodules
Cited in
(8)- Set relations and set systems induced by some families of integral domains
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- Some classes of abstract simplicial complexes motivated by module theory
- Fixed points of adjoint functors enriched in a quantaloid
- Diagonals between \(\mathcal{Q}\)-distributors
- Regularity vs. constructive complete (co)distributivity
- On some categories of structured sets
- Quantale-valued dissimilarity
This page was built for publication: Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899562)
