Vertically Iterated Classical Enrichment

2004/03/12 by Stefan Forcey, Forcey, Stefan
Computer Science · Mathematics · #18D10 #18D20 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Neural Networks and Applications #Quantum Algebra (math.QA) #math.AT #math.CT #math.QA #msc:18D10 #msc:18D20

paper · pdf · doi:10.48550/arxiv.math/0403214

31 pages; Completes the program begun in Higher Dimensional Enrichment, preprint math.CT/0306086

arxiv created 2004/03/12 · openalex publication_date 2004/03/12 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We propose a recursive definition of V-n-categories and their morphisms. 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. This article is a completion of the work begun in math.CT/0306086, and the initial sections duplicate the beginning of that paper.

Related

• Higher Dimensional Enrichment
• Enrichment as Categorical Delooping I: Enrichment Over Iterated Monoidal Categories
• A Morphism Double Category and Monoidal Structure
• Combinatorial n-fold monoidal categories and n-fold operads
• Weak vertical composition