Chu connections and back diagonals between Q-distributors

DOI10.1016/J.JPAA.2015.10.005zbMATH Open1338.18037arXiv1503.06647OpenAlexW1902838168MaRDI QIDQ899562FDOQ899562

Authors: Lili Shen, Yuanye Tao, Dexue Zhang 

Publication date: 30 December 2015

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid $mathcalQ$. 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 $mathcalQ$, the category of complete $mathcalQ$-categories and left adjoints is a retract of the dual of the category of $mathcalQ$-distributors and Chu connections, and it is dually equivalent to the category of $mathcalQ$-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.

Full work available at URL: https://arxiv.org/abs/1503.06647

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
• 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

Mathematics Subject Classification ID

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

Cites Work

• Triangular norms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical structures enriched in a quantaloid: tensored and cotensored categories
• Metric spaces, generalized logic, and closed categories
• Variation through enrichment
• On the monad of proper factorisation systems in categories
• An introduction to quantaloid-enriched categories
• Quantales and (noncommutative) linear logic
• Elementary characterisation of small quantaloids of closed cribles
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-commutative and non-idempotent theory of quantale sets
• Compact Semigroups Irreducibly Connected Between Two Idempotents
• On the structure of semi-groups on a compact manifold with boundary
• Free quantaloids
• Computer science today. Recent trends and developments
• Nonsymmetric \(^{\ast}\)-autonomous categories
• Weak adjoint functors
• Relational Galois Connections
• A 2-categories companion
• Weak subobjects and the epi-monic completion of a category.
• \(*\)-autonomous categories of bimodules
• *-Autonomous categories and linear logic
• Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions
• Topological categories, quantaloids and Isbell adjunctions
• Quantaloidal nuclei, the syntactic congruence and tree automata
• An extended view of the Chu-construction
• Girard quantaloids
• Beyond the Chu-construction
• Chu correspondences

Cited In (8)

• Quantale-valued dissimilarity
• Set relations and set systems induced by some families of integral domains
• Fixed points of adjoint functors enriched in a quantaloid
• Some classes of abstract simplicial complexes motivated by module theory
• Diagonals between \(\mathcal{Q}\)-distributors
• Regularity vs. constructive complete (co)distributivity
• Title not available (Why is that?)
• On some categories of structured sets

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)