Chu connections and back diagonals between Q-distributors

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

Dexue Zhang, Yuanye Tao, Lili Shen

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

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?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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

   Recommendations

• Diagonals between \(\mathcal{Q}\)-distributors 👍 👎
• Title not available (Why is that?) 👍 👎
• Galois connections, Chu mappings and bonds 👍 👎
• Connected Chord Diagrams and the Combinatorics of Asymptotic Expansions 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On connected component decompositions of quandles 👍 👎
• Dirac's theorem on chordal graphs and Alexander duality 👍 👎
• Title not available (Why is that?) 👍 👎

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)