Quantale-enriched profunctors are known to generalise binary relations between sets in two directions. Firstly, we have quantale-enriched categories instead of sets and, secondly, relatedness is quantale-valued rather than two-valued. For suitable quantales, there are natural generalisations of the converse and complement operations on profunctors. Weaker notions of converse and complement have already been studied, for example with monotone relations between preorders. However, these weaker operations for profunctors enriched over quantales have not been explored. In this paper, we focus on profunctors enriched over commutative and Girard quantales. We provide constructions for left and right converse and complement operations for these profunctors. In addition, we study the properties of these new operations and describe their applications to graph mathematical morphology.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Weak Converse and Complement for Quantale-Enriched Profunctors

  • Ignacio Bellas Acosta,
  • John G. Stell

摘要

Quantale-enriched profunctors are known to generalise binary relations between sets in two directions. Firstly, we have quantale-enriched categories instead of sets and, secondly, relatedness is quantale-valued rather than two-valued. For suitable quantales, there are natural generalisations of the converse and complement operations on profunctors. Weaker notions of converse and complement have already been studied, for example with monotone relations between preorders. However, these weaker operations for profunctors enriched over quantales have not been explored. In this paper, we focus on profunctors enriched over commutative and Girard quantales. We provide constructions for left and right converse and complement operations for these profunctors. In addition, we study the properties of these new operations and describe their applications to graph mathematical morphology.