Multi-adjoint concept lattices via quantaloid-enriched categories
arXiv:1903.08922 · doi:10.1016/j.fss.2020.03.007
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.
14 pages, final version