Strong functors on many-sorted sets
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
We show that, on a category of many-sorted sets, the only functors that admit a cartesian strength are those that are given componentwise.
Page 1