Unicity of Enrichment over Cat or Gpd

J Power

Research output: Contribution to journalArticle

100 Downloads (Pure)

Abstract

Enrichment of ordinary monads over Cat or Gpd is fundamental to Max Kelly's unified theory of coherence for categories with structure. So here, we investigate existence and unicity of enrichments of ordinary functors, natural transformations, and hence also monads, over Cat and Gpd. We show that every ordinary natural transformation between 2-functors whose domain 2-category has either tensors or cotensors with the arrow category is 2-natural. We use that to prove that an ordinary monad, or endofunctor, on such a 2-category has at most one enrichment over Cat or Gpd. We also describe a monad on Cat that has no enrichment. So enrichment over Cat is a non-trivial property of a monad rather than a structure that is additional to it. Finally, we present an example, due to Kelly, of V other than Cat or Gpd and an ordinary monad for which more than one enrichment over V exists, showing that our main theorem is specific to Cat and Gpd.
Original languageEnglish
Pages (from-to)293-299
Number of pages7
JournalApplied Categorical Structures
Volume19
Issue number1
DOIs
Publication statusPublished - Feb 2011

Fingerprint

Monads
Tensors
Functor
Tensor
Theorem

Keywords

  • cotensors
  • enrichment
  • tensors
  • monads

Cite this

Unicity of Enrichment over Cat or Gpd. / Power, J.

In: Applied Categorical Structures, Vol. 19, No. 1, 02.2011, p. 293-299.

Research output: Contribution to journalArticle

Power, J. / Unicity of Enrichment over Cat or Gpd. In: Applied Categorical Structures. 2011 ; Vol. 19, No. 1. pp. 293-299.
@article{c31a14a3a269451696bf1459736d541f,
title = "Unicity of Enrichment over Cat or Gpd",
abstract = "Enrichment of ordinary monads over Cat or Gpd is fundamental to Max Kelly's unified theory of coherence for categories with structure. So here, we investigate existence and unicity of enrichments of ordinary functors, natural transformations, and hence also monads, over Cat and Gpd. We show that every ordinary natural transformation between 2-functors whose domain 2-category has either tensors or cotensors with the arrow category is 2-natural. We use that to prove that an ordinary monad, or endofunctor, on such a 2-category has at most one enrichment over Cat or Gpd. We also describe a monad on Cat that has no enrichment. So enrichment over Cat is a non-trivial property of a monad rather than a structure that is additional to it. Finally, we present an example, due to Kelly, of V other than Cat or Gpd and an ordinary monad for which more than one enrichment over V exists, showing that our main theorem is specific to Cat and Gpd.",
keywords = "cotensors, enrichment, tensors, monads",
author = "J Power",
year = "2011",
month = "2",
doi = "10.1007/s10485-009-9202-7",
language = "English",
volume = "19",
pages = "293--299",
journal = "Applied Categorical Structures",
issn = "0927-2852",
publisher = "Springer Netherlands",
number = "1",

}

TY - JOUR

T1 - Unicity of Enrichment over Cat or Gpd

AU - Power, J

PY - 2011/2

Y1 - 2011/2

N2 - Enrichment of ordinary monads over Cat or Gpd is fundamental to Max Kelly's unified theory of coherence for categories with structure. So here, we investigate existence and unicity of enrichments of ordinary functors, natural transformations, and hence also monads, over Cat and Gpd. We show that every ordinary natural transformation between 2-functors whose domain 2-category has either tensors or cotensors with the arrow category is 2-natural. We use that to prove that an ordinary monad, or endofunctor, on such a 2-category has at most one enrichment over Cat or Gpd. We also describe a monad on Cat that has no enrichment. So enrichment over Cat is a non-trivial property of a monad rather than a structure that is additional to it. Finally, we present an example, due to Kelly, of V other than Cat or Gpd and an ordinary monad for which more than one enrichment over V exists, showing that our main theorem is specific to Cat and Gpd.

AB - Enrichment of ordinary monads over Cat or Gpd is fundamental to Max Kelly's unified theory of coherence for categories with structure. So here, we investigate existence and unicity of enrichments of ordinary functors, natural transformations, and hence also monads, over Cat and Gpd. We show that every ordinary natural transformation between 2-functors whose domain 2-category has either tensors or cotensors with the arrow category is 2-natural. We use that to prove that an ordinary monad, or endofunctor, on such a 2-category has at most one enrichment over Cat or Gpd. We also describe a monad on Cat that has no enrichment. So enrichment over Cat is a non-trivial property of a monad rather than a structure that is additional to it. Finally, we present an example, due to Kelly, of V other than Cat or Gpd and an ordinary monad for which more than one enrichment over V exists, showing that our main theorem is specific to Cat and Gpd.

KW - cotensors

KW - enrichment

KW - tensors

KW - monads

UR - http://www.scopus.com/inward/record.url?scp=79952449872&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/s10485-009-9202-7

U2 - 10.1007/s10485-009-9202-7

DO - 10.1007/s10485-009-9202-7

M3 - Article

VL - 19

SP - 293

EP - 299

JO - Applied Categorical Structures

JF - Applied Categorical Structures

SN - 0927-2852

IS - 1

ER -