arXiv 1007.10772010-07-07math.CT

Operadic Definition of Non-Stricts Cells

Camell Kachour

备注：: 68 pages

英文摘要：

In [K. Kachour. Définition algébrique des cellules non-strictes. Cahiers de Topologie et de Géométrie Différentielle Catégorique, 1:1-68, 2008] we pursue Penon's work in higher dimensional categories by defining non-strict infinity-functors, non-strict natural infinity-transformations, and so on, all that with Penon's frameworks i.e with the "étirements catégoriques", where we have used an extension of this object, namely the "n-étirements catégoriques" (n belong in N). In this paper we are pursuing Batanin's work in higher dimensional categories by defining nonstrict infinity-functors, non-strict natural infinity-transformations, and so on, using Batanin's frameworks i.e with the contractible operads, where we used an extension of this object, namely the globular colored contractible operads.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

Corrections to the article: Operadic definition of the non-strict cells

In this short notes we propose a new notion of contractibility for coloured $ω$-operad defined in the article published in Cahiers de Topologie et de G{é}om{é}trie Diff{é}rentielle Cat{é}gorique (2011), volume 4. We propose also an other way to build the monad for free contractible coloured $ω$-operads.

2012-11-10math.CT

Coherence for Categorified Operadic Theories

It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak P-category for any strongly regular (operadic) theory P, and show that every weak P-category is equivalent via P-functors and P-transformations to a strict P-category. This strictification functor is then shown to have an interesting universal property.

2006-07-18math.CT

Coherence for Categorified Operadic Theories

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold only up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature. Using this definition, we generalize the result that every monoidal category is monoidally equivalent to a strict monoidal category, and show that the "strictification" functor has an i…

2010-02-04math.CT

Comparing operadic theories of $n$-category

We give a framework for comparing on the one hand theories of n-categories that are weakly enriched operadically, and on the other hand n-categories given as algebras for a contractible globular operad. Examples of the former are the definition by Trimble and variants (Cheng-Gurski) and examples of the latter are the definition by Batanin and variants (Leinster). We will show how to take a theory of n-categories of the former kind and produce a globular operad whose algebras are the n-categories we started with. We first provide a generalisation of Trimble's original theory that allows for the…

2008-10-05math.CT

扭曲单子范畴的严格2-范畴结构

The Strict 2-Category Structure of Distorted Monoidal Categories

本文提出扭曲单子范畴的严格2-范畴结构，通过构造性演算实现非可逆交换的正式推理，扩展单子范畴的表达能力以建模不可逆过程。

2025-11-10math.CT

Free precategories as presheaf categories

Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those have been proposed as a framework in which one can express semi-strict definitions of weak higher categories: in dimension 3, Gray categories are an instance of them and have been shown to be equivalent to tricategories, and definitions of semi-strict tetracategories have been proposed, and used as the basis of proof assistants such as Globular. In this arti…

2022-11-29math.CT

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

A Type Theory for Strictly Associative Infinity Categories

Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type theory Catt, whose models are known to correspond to weak $\infty$-categories. We add a definitional equality relation to this theory which identifies terms with the same associativity structure, yielding a new type theory Catt$_{sa}$, for strictly associative $\infty$-categories. We also provide a reduction relation which generates definitional equality, a…

2021-09-03cs.LOmath.CT

Data structures for quasistrict higher categories

We present new data structures for quasistrict higher categories, in which associativity and unit laws hold strictly. Our approach has low axiomatic complexity compared to traditional algebraic definitions of higher categories, and we use it to give a practical definition of quasistrict 4-category. It is also amenable to computer implementation, and we exploit this to give a new machine-verified algebraic proof that every adjunction of 1-cells in a quasistrict 4-category can be promoted to a coherent adjunction satisfying the butterfly equations.

2016-10-21math.CT

Weak identity arrows in higher categories

There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair categories. The approach is simplicial in spirit, but the usual simplicial category $Δ$ is replaced by a certain `fat' delta of `coloured ordinals', where the degeneracy maps are only up to homotopy. The first part of this exposition is aimed at a broad mathematical readership and contains also a brief introduction to simplicial viewpoints on higher categori…

2005-11-28math.CT

An extension of Batanin's approach to globular algebras

In earlier work, Batanin has shown that an important class of definitions of higher categories could be apprehended together simply as monads over globular sets. This allowed him to generalize the notion of polygraph, initially introduced by Street and Burroni for strict categories, to all algebraic globular higher categories. In this work, we refine this perspective and introduce new constructions and properties for this class of higher categories. In particular, we define the notion of cellular extension and its associated free construction, from which we obtain another definition of polygra…

2022-04-05math.CT

论严格高阶 C*-范畴

On Strict Higher C*-categories

本文定义了严格对合高阶范畴、严格高阶 C*-范畴及高阶 Fell 丛，提出松弛交换性质以避免 Eckmann-Hilton 坍缩，从而构造出源于超矩阵和超 C*-代数的非平凡非交换示例，并探讨其在非交换几何与关系量子理论中的应用。

2025-11-01math.CTmath.OA

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.

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