fc-multicategories
Category Theory
2007-05-23 v1
Abstract
fc-multicategories are a very general kind of two-dimensional structure, encompassing bicategories, monoidal categories, double categories and ordinary multicategories. We define them and explain how they provide a natural setting for two familiar categorical ideas. The first is the bimodules construction, traditionally carried out on suitably cocomplete bicategories but perhaps more naturally carried out on fc-multicategories. The second is enrichment: there is a theory of categories enriched in an fc-multicategory, extending the usual theory of enrichment in a monoidal category. We finish by indicating how this work is just the simplest case of a much larger phenomenon.
Cite
@article{arxiv.math/9903004,
title = {fc-multicategories},
author = {Tom Leinster},
journal= {arXiv preprint arXiv:math/9903004},
year = {2007}
}
Comments
Notes for talk at PSSL 70; 8 pages