Vertically Iterated Classical Enrichment
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
