Fixed points of adjoint functors enriched in a quantaloid
arXiv:1601.00239 · doi:10.1016/j.fss.2016.12.001
Abstract
Representation theorems are established for fixed points of adjoint functors between categories enriched in a small quantaloid. In a very general setting these results set up a common framework for representation theorems of concept lattices in formal concept analysis (FCA) and rough set theory (RST), which not only extend the realm of formal contexts to multi-typed and multi-valued ones, but also provide a general approach to construct various kinds of representation theorems. Besides incorporating several well-known representation theorems in FCA and RST as well as formulating new ones, it is shown that concept lattices in RST can always be represented as those in FCA through relative pseudo-complements of the given contexts, especially if the contexts are valued in a non-Girard quantaloid.
27 pages, final version
References in corpus (5)
- Categorical structures enriched in a quantaloid: categories, distributors and functors
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Topological categories, quantaloids and Isbell adjunctions
- Chu connections and back diagonals between -distributors
- Towards "dynamic domains": totally continuous cocomplete Q-categories
Cited by in corpus (6)
- Fuzzy Galois connections on fuzzy sets
- Completeness and injectivity
- Multi-adjoint concept lattices via quantaloid-enriched categories
- Quantaloidal Completions of Order-enriched Categories and Their Applications
- Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
- Density in categorical topology via quantaloid-enriched categories