Strong functors on many-sorted sets

Research output: Contribution to journalArticlepeer-review

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

Keywords

  • Strong functor
  • strong monad
  • many-sorted sets

Fingerprint

Dive into the research topics of 'Strong functors on many-sorted sets'. Together they form a unique fingerprint.

Cite this