arXiv math/03060862003-06math.CTmath.ATmath.QA

Higher Dimensional Enrichment

Stefan Forcey

备注：: 50 pages; complete definition of V-n-categories and morphisms between them; journal style and notation--note tensor^(1) replaces box^(2); updated references

英文摘要：

Lyubashenko has described enriched 2-categories as categories enriched over V-Cat, the 2-category of categories enriched over a symmetric monoidal V. I have generalized this to the k-fold monoidal V. The symmetric case can easily be recovered. The introduction of this paper proposes a recursive definition of V-n-categories and their morphisms. Then I consider the special case of V-2-categories and give the details of the proof that with their morphisms these form the structure of a 3-category.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Enrichment of Algebraic Higher Categories

We provide a definition of enrichment that applies to a wide variety of categorical structures, generalizing Leinster's theory of enriched $T$-multicategories. As a sample of newly enrichable structures, we describe in detail the examples of enriched monoidal categories and enriched double categories, with a focus on monoidal double categories as broadly convenient bases of enrichment.

2022-05-24math.CT

The coalgebraic enrichment of algebras in higher categories

We prove that given $\mathcal{C}$ a presentably symmetric monoidal $\infty$-category, and any essentially small $\infty$-operad $\mathcal{O}$, the $\infty$-category of $\mathcal{O}$-algebras in $\mathcal{C}$ is enriched, tensored and cotensored over the presentably symmetric monoidal $\infty$-category of $\mathcal{O}$-coalgebras in $\mathcal{C}$. We provide a higher categorical analogue of the universal measuring coalgebra. For categories in the usual sense, the result was proved by Hyland, López Franco, and Vasilakopoulou.

2021-07-19math.ATmath.CT

Enrichment as Categorical Delooping I: Enrichment Over Iterated Monoidal Categories

The 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception is the case in which V is symmetric, which leads to V-Cat being symmetric as well. This paper describes how these facts are related to a categorical analogue of topological delooping. It seems that the analogy of loop spaces is a good guide for how to define the concept of enrichment over various types of monoidal objects, including k-fold monoidal categories and their higher dimensional counterparts. The main result is that for V a…

2003-10-23math.ATmath.CTmath.QA

Gray-范畴富集的斜向方法

A skew approach to enrichment for Gray-categories

针对Gray-范畴范畴缺少能建模弱高维变换的幺半双闭结构的问题，该系列首篇论文提出了其上的多种斜幺半闭结构，分别可刻画高松变换与高伪变换。

2023-11-09math.CT

Lax Diagrams and Enrichment

We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher linear categories following Segal-like methods.

2012-06-16math.ATmath.CT

测量共模和丰富

Measuring Comodules and Enrichment

本文在braided monoidal范畴中推广通用测量余模理论，研究模和余模的丰富性，并定义了非交换Hasse-Schmidt代数。

2026-02-27math.CTmath.QA

更多相关论文收起更多论文

Generalized Enrichment for Categories and Multicategories

In this paper we answer the question: `what kind of a structure can a general multicategory be enriched in?' The answer is, in a sense to be made precise, that a multicategory of one type can be enriched in a multicategory of the type one level up. In the case of ordinary categories this reduces to something surprising: a category may be enriched in an `fc-multicategory', a very general kind of 2-dimensional structure encompassing monoidal categories, plain multicategories, bicategories and double categories. (It turns out that fc-multicategories also provide a natural setting for the bimodule…

1999-01-29math.CTmath.QA

Enrichment over iterated monoidal categories

Joyal and Street note in their paper on braided monoidal categories [Braided tensor categories, Advances in Math. 102(1993) 20-78] that the 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception that they mention is the case in which V is symmetric, which leads to V-Cat being symmetric as well. The symmetry in V-Cat is based upon the symmetry of V. The motivation behind this paper is in part to describe how these facts relating V and V-Cat are in turn related to a categorical analogue of to…

2004-03-09math.ATmath.CTmath.QA

Generalized enrichment of categories

We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal categories and ordinary multicategories. Enrichment in an fc-multicategory extends the (more or less well-known) theories of enrichment in a monoidal category, in a bicategory, and in a multicategory. Moreover, fc-multicategories provide a natural setting for the bimodules construction, traditionally performed on suitably cocomplete bicategories. Although this paper …

2002-04-23math.CT

Operads in Higher-Dimensional Category Theory

The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed definition of n-category is a reasonable one, and of what happens when n=2. Generalized operads and multicategories play other parts in higher-dimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to n-categories expounded by Baez, Dolan and others, and are a natural language in which to discuss enr…

2000-11-16math.ATmath.CTmath.QA

定向范畴论中的纤维化

Fibrations in Oriented Category Theory

从定向范畴论角度研究高阶范畴纤维化，给出其等价特征，表明纤维化范畴构成定向范畴，研究其与定向拉回相互作用并构建相关纤维化版本及格罗滕迪克构造。

2026-07-22math.ATmath.CT

fc-multicategories

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…

1999-02-28math.CT

全球化与偏模的双范畴

Globalization and the biactegory of partial modules

本文证明Hopf代数上的偏模范畴是全局模范畴的双范畴，并揭示偏模膨胀与Hom对象的同构关系。

2025-06-23math.CTmath.QAmath.RA