Loop Spaces and Iterated Higher Dimensional Enrichment

Files

TR Number

Date

2004-04-15

Journal Title

Journal ISSN

Volume Title

Publisher

Virginia Tech

Abstract

There is an ongoing massive effort by many researchers to link category theory and geometry, especially homotopy coherence and categorical coherence. This constitutes just a part of the broad undertaking known as categorification as described by Baez and Dolan. This effort has as a partial goal that of understanding the categories and functors that correspond to loop spaces and their associated topological functors. Progress towards this goal has been advanced greatly by the recent work of Balteanu, Fiedorowicz, Schwänzl, and Vogt who show a direct correspondence between k–fold monoidal categories and k–fold loop spaces through the categorical nerve.

This thesis pursues the hints of a categorical delooping that are suggested when enrichment is iterated. At each stage of successive enrichments, the number of monoidal products seems to decrease and the categorical dimension to increase, both by one. This is mirrored by topology. When we consider the loop space of a topological space, we see that paths (or 1–cells) in the original are now points (or objects) in the derived space. There is also automatically a product structure on the points in the derived space, where multiplication is given by concatenation of loops. Delooping is the inverse functor here, and thus involves shifting objects to the status of 1–cells and decreasing the number of ways to multiply.

Enriching over the category of categories enriched over a monoidal category is defined, for the case of symmetric categories, in the paper on A∞–categories by Lyubashenko. It seems that it is a good idea to generalize his definition first to the case of an iterated monoidal base category and then to define V–(n + 1)–categories as categories enriched over V–n–Cat, the (k−n)–fold monoidal strict (n+1)–category of V–n–categories where k<n ∈ N. We show that for V k–fold monoidal the structure of a (k−n)–fold monoidal strict (n + 1)–category is possessed by V–n–Cat.

Description

Keywords

iterated loop spaces, enriched categories, n-categories, iterated monoidal categories

Citation