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.
|Number of pages||8|
|Journal||Commentationes Mathematicae Universitatis Carolinae|
|Publication status||Accepted/In press - 7 May 2019|
- Strong functor, strong monad, many-sorted sets