Multi-adjoint concept lattices via quantaloid-enriched categories
Logic in Computer Science
2021-02-22 v2 Category Theory
Abstract
With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoint object-oriented concept lattices are derivable from Isbell adjunctions, Kan adjunctions and dual Kan adjunctions between quantaloid-enriched categories, respectively.
Cite
@article{arxiv.1903.08922,
title = {Multi-adjoint concept lattices via quantaloid-enriched categories},
author = {Hongliang Lai and Lili Shen},
journal= {arXiv preprint arXiv:1903.08922},
year = {2021}
}
Comments
14 pages, final version