The double power monad is the composite power monad - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fuzzy Sets and Systems Année : 2017

The double power monad is the composite power monad

Résumé

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).
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More