Abstract
It is shown that the category of fuzzy relations with values in a ∗-autonomous poset gives a ∗-autonomous category. It is also shown that this construction can be generalized by replacing the ∗-autonomous poset by a ∗-autonomous category. In both cases, cofree coalgebras exist so that there is a natural! operation.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference3 articles.
1. Weakly distributive categories;Cockett;London Mathematical Society Lecture Note Series,1992
2. *-Autonomous categories and linear logic
3. *-Autonomous Categories
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献