The omega-Categories Associated With Products of Infinite-Dimensional Globes
英文摘要：
This thesis studies the omega-categories associated with products of infinite-dimensional globes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
A new higher homotopy groupoid: the fundamental globular omega-groupoid of a filtered space
We use the n-globe with its skeletal filtration to define the fundamental globular omega--groupoid of a filtered space; the proofs use an analogous fundamental cubical omega--groupoid due to the author and Philip Higgins. This method also relates the construction to the fundamental crossed complex of a filtered space, and this relation allows the proof that the crossed complex associated to the free globular omega-groupoid on one element of dimension n is the fundamental crossed complex of the n-globe.
math.ATmath.CT
Omega-categories and chain complexes
There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we call augmented directed complexes. This functor from augmented directed complexes to omega-categories has a left adjoint, and the adjunction restricts to an equivalence on a category of augmented directed complexes with good bases. The omega-categories equivalent to augmented directed complexes with good bases include the omega-categories associated to globes, …
math.CT
The algebra of the nerves of omega-categories
We show that the nerve of a strict omega-category can be described algebraically as a simplicial set with additional operations subject to certain identities. The resulting structures are called sets with complicial identities. We also construct an equivalence between the categories of strict omega-categories and of sets with complical identities.
math.CT
Simple omega-categories and chain complexes
The category of strict omega-categories has an important full subcategory whose objects are the simple omega-categories freely generated by planar trees or by globular cardinals. We give a simple description of this subcategory in terms of chain complexes, and we give a similar description of the opposite category, the category of finite discs, in terms of cochain complexes. Berger has shown that the category of simple omega-categories has a filtration by iterated wreath products of the simplex category. We generalise his result by considering wreath products of categories of chain complexes o…
math.CT
Complicial structures in the nerves of omega-categories
It is known that strict omega-categories are equivalent through the nerve functor to complicial sets and to sets with complicial identities. It follows that complicial sets are equivalent to sets with complicial identities. We discuss these equivalences. In particular we give a conceptual proof that the nerves of omega-categories are complicial sets, and a direct proof that complicial sets are sets with complicial identities.
math.CT
Abelian Groups in omega-categories
We study abelian group objects in $ω$-categories and discuss the well-known Dold-Kan correspondence from the perspective of $ω$-categories as a model for strict $\infty$-categories. The first part of the paper is intended to compile results from the existing literature and to fill some gaps therein. We go on to consider a parameterized Dold-Kan correspondence, i.e. a Dold-Kan correspondence for presheaves of $ω$-categories. The main result is to describe the descent or sheaf condition in terms of a glueing condition that is familiar for 1 and 2-stacks.
math.CT
更多相关论文收起更多论文
Thin fillers in the cubical nerves of omega-categories
It is shown that the cubical nerve of a strict omega-category is a sequence of sets with cubical face operations and distinguished subclasses of thin elements satisfying certain thin filler conditions. It is also shown that a sequence of this type is the cubical nerve of a strict omega-category unique up to isomorphism; the cubical nerve functor is therefore an equivalence of categories. The sequences of sets involved are in effect the analogues of cubical T-complexes appropriate for strict omega-categories. Degeneracies are not required in the definition of these sequences, but can in fact be…
math.CT
Weak Omega Categories I
We develop a theory of weak omega categories that will be accessible to anyone who is familiar with the language of categories and functors and who has encountered the definition of a strict 2-category. The most remarkable feature of this theory is its simplicity. We build upon an idea due to Jacques Penon by defining a weak omega category to be a span of omega magmas with certain properties. (An omega magma is a reflexive, globular set with a system of partially defined, binary composition operations which respects the globular structure.) Categories, bicategories, strict omega categories and…
math.ATmath.CT
A folk model structure on omega-cat
We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of omega-categories, building on a set of generating cofibrations and a class of weak equivalences as basic items. All object are fibrant while cofibrant objects are exactly the free ones. Our model structure transfers to n-categories along right-adjoints, for each n, thus recovering the known cases n = 1 and n = 2.
math.CT
A homotopy-theoretic universal property of Leinster's operad for weak omega-categories
We explain how any cofibrantly generated weak factorisation system on a category may be equipped with a universally and canonically determined choice of cofibrant replacement. We then apply this to the theory of weak omega-categories, showing that the universal and canonical cofibrant replacement of the operad for strict omega-categories is precisely Leinster's operad for weak omega-categories.
math.ATmath.CT
Thin Elements and Commutative Shells in Cubical omega-categories
The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously needed for this purpose; see previous work by Al-Agl/Brown/Steiner. It is shown that composites of commutative shells are commutative and that thin structures are equivalent to appropriate sets of connections; this work extends to all dimensions the results proved in dimensions 2 and 3 by Brown/Mosa, and Brown/Kamps/Porter.
math.ATmath.CT
Weak omega-categories from intensional type theory
We show that for any type in Martin-Löf Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable composition laws, and give an action of this operad on the terms of any type and its identity types.
math.CTmath.LO
Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories
This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier and Porter's homotopy coherent nerve, and show that this faithfully represents complicial Gray-categories as weak complicial sets. The category of weak complicial sets may itself be canonically enriched to a compl…
math.ATmath.CT
Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory
This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to s…
math.ATmath.CT
Multiple categories: the equivalence of a globular and a cubical approach
We show the equivalence of two kinds of strict multiple category, namely the well known globular omega-categories, and the cubical omega-categories with connections.
math.ATmath.CT
The algebraic structure of the universal complicial sets
The nerve of a strict omega-category is a simplicial set with additional structure, making it into a so-called complicial set, and strict omega-categories are in fact equivalent to complicial sets. The nerve functor is represented by a sequence of strict omega-categories, called orientals, which are associated to simplexes. In this paper we give a detailed algebraic description of the morphisms between orientals. The aim is to describe complicial sets algebraically, by operators and equational axioms.
math.CT
On algebraic and more general categories whose split epimorphisms have underlying product projections
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well as varieties of right omega-loops and biternary systems.
math.CT
Ω群的余代数模型
Coalgebraic models of Omega-groups
Université catholique de Louvain（天主教鲁汶大学）
该研究在域上余交换余代数范畴中研究代数理论模型，建立相关范畴性质，引入带余交换Hopf代数结构的半阿贝尔范畴并将其刻画为Ω群代数理论的余代数模型。
math.CTmath.LOmath.QA
Diagrammatic sets and rewriting in weak higher categories
We revisit Kapranov and Voevodsky's idea of spaces modelled on combinatorial pasting diagrams, now as a framework for higher-dimensional rewriting and the basis of a model of weak omega-categories. In the first part, we elaborate on Steiner's theory of directed complexes as a combinatorial foundation. We individuate convenient classes of directed complexes and develop the theory of diagrammatic sets relative to one such class. We study a notion of equivalence internal to a diagrammatic set, and single out as models of weak omega-categories those diagrammatic sets whose every composable diagram…
math.ATmath.CT
作为类型理论模型的幺半弱ω-范畴
Monoidal weak omega-categories as models of a type theory
本文将CaTT类型理论推广至幺半弱ω-范畴，提出新类型理论MCaTT，并通过双向翻译证明其模型等价于仅含单个0-胞的CaTT模型。
cs.LOmath.CT
在同伦类型论中生成更高恒等证明
Generating Higher Identity Proofs in Homotopy Type Theory
本文通过把 ω-范畴胞腔操作转换为更高恒等类型操作，证明同伦类型论可作为 CaTT 的模型，并借助 CaTT 的机械化机制简化高维恒等结构证明。
cs.LOmath.CT
Homomorphisms of higher categories
We describe a construction that to each algebraically specified notion of higher-dimensional category associates a notion of homomorphism which preserves the categorical structure only up to weakly invertible higher cells. The construction is such that these homomorphisms admit a strictly associative and unital composition. We give two applications of this construction. The first is to tricategories; and here we do not obtain the trihomomorphisms defined by Gordon, Power and Street, but only something equivalent in a suitable sense. The second is to Batanin's weak omega-categories.
math.ATmath.CT
高维路径类型的自然性
Naturality for higher-dimensional path types
本文在依赖类型论中提出弱 omega-范畴运算的自然性元构造，用有向区间局部张量积给出几何解释，并在证明助手中实现以生成和验证柱体、锥体复合等复杂路径类型项。
cs.LOmath.CT
