Journal Articles Fuzzy Sets and Systems Year : 2017

The double power monad is the composite power monad

Abstract

In the context of quantaloid-enriched categories, we rely essentially on the classifying property of presheaf categories to give a conceptual proof of a theorem due to Höhle: the double power monad and the composite power monad, on the category of quantaloid-enriched categories, are the same. Via the theory of distributive laws, we identify the algebras of this monad to be the completely codistributive complete categories, and the homomorphisms between such algebras are the bicontinuous functors. With these results we hope to contribute to the further development of a theory of Q-valued preorders (in the sense of Pu and Zhang).
No file

Dates and versions

hal-03606896 , version 1 (12-03-2022)

Identifiers

Cite

Isar Stubbe. The double power monad is the composite power monad. Fuzzy Sets and Systems, 2017, 313, pp.25-42. ⟨10.1016/j.fss.2016.04.013⟩. ⟨hal-03606896⟩
37 View
0 Download

Altmetric

Share

More