Strong functors on many-sorted sets
Research output: Contribution to journal › Article
Colleges, School and Institutes
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
|Journal||Commentationes Mathematicae Universitatis Carolinae|
|Publication status||Published - 1 Dec 2019|
- Strong functor, strong monad, many-sorted sets