2000 character limit reached
Multi-adjoint concept lattices via quantaloid-enriched categories (1903.08922v2)
Published 21 Mar 2019 in cs.LO and math.CT
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.