Strong functors on many-sorted sets

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Abstract

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

Details

Original languageEnglish
Number of pages8
JournalCommentationes Mathematicae Universitatis Carolinae
Publication statusAccepted/In press - 7 May 2019

Keywords

  • Strong functor, strong monad, many-sorted sets