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.
Submitted Version (
Free)
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have