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
Pages (from-to)533-540
JournalCommentationes Mathematicae Universitatis Carolinae
Volume60
Issue number4
Publication statusPublished - 1 Dec 2019

Keywords

  • Strong functor, strong monad, many-sorted sets