关于同伦正则态射

该文在点标拓扑空间的范畴中引进了同伦正则态射的概念,研究了它存在的条件,性质以及它与同伦单（满）态,同伦正则单（满）态和同伦等价之间的密切关系。     

有向图的基本群和覆盖（英文）

本文基于范畴理论,主要研究了有向图和其对应的无向图(简称为图)在不同同伦等价意义下基本群之间的关系,证明了覆盖映射所诱导的覆盖图和底图的基本群之间的同态是单同态.设G是连通有向图,G是G的万有覆盖,覆盖映射为p.我们证明了G的覆盖转化群D(G,p)同构于G在C-同伦意义下的基本群.     

涉及迹同伦范畴的几对伴随函子

Ｋ．Ａ．Ｈａｒｄｉｅ与Ｋ．Ｈ．Ｋａｍｐｓ研究过固定空间Ｂ上的迹同伦范畴（［１］）．他们引进了两对伴随函子ＰＢ┤ＮＢ与ｍ┤ｍ，此处ｍ：ＡＢ是固定映射，ＰＢ：ＨＢＨＢ与ｍ：ＨＡＨＢ是函子．我们在［２］中引进了分裂的范畴纤维化Ｌ：ＨｂＨＢ，并且证明了Ｌ┤Ｊ，Ｊ┤Ｌ．本文首先将ＰＢ┤ＮＢ推广到ＰＢｂ┤ＮＢｂ＃，其中ｂ：ＢＢ是任一固定映射，并且我们还得到涉及迹同伦范畴Ｈｂ与Ｈｂ的两对伴随函子，此处Ｈｂ是Ｈｂ的对偶．特别，Ｎｂ┤Ｐｂ不同于ＰＢ┤ＮＢ．     

关于三角范畴的八面体公理

三角范畴是一个带有自同构且满足四条公理的加法范畴,其中的一条重要公理就是八面体公理,该公理形式复杂不易理解难以应用.在本文中,作者讨论了三角范畴定义中八面体公理的几个等价命题,给出了新的八面体公理的等价命题,证明了各个公理间的相互等价关系,同时简化了八面体的表达形式,并且给出了该定理的一个具体应用.     

关于同伦满态与覆叠空间

本文在点标道路连通ＣＷ空间的同伦范畴中，利用同伦推出示性了同伦满态，得出了若ｆ：Ｘ－Ｙ是同伦满态，则对π１Ｙ的任一正规子群Ｈ，升腾映射ｆ：Ｘ（ｆ－１＃（Ｈ））→■（Ｈ）也是同伦满态．     

Locale同伦理论

本文引入了locale连续映射同伦的概念,建立了locale同伦范畴,构造性地证明了任一locale连续映射都同伦等价于一个locale包含映射。通过引入locale H群的概念(它是locale群概念的自然推广),建立了locale同伦范畴到群同态范畴的一个反变函子。特别地,我们建立了locale同伦群范畴上的基本群函子,证明了locale L上以p为基点的基本群同构于L的谱空间pt(L)上以p为基点的基本群。因此,基本群函子是locale范畴中的一个同伦不变量。     

锐角原理的构造性证明

本文用单纯同伦向量标号算法给出了上半连续集值映射的锐角原理的构造性证明,从而给出了几个不动点定理的构造性证明.还给出了一个保证计算收敛的条件.     

Cauchy算子方程的Hyers-Ulam-Rassias稳定性的推广

研究从幂结合广群到实的或复的赋准范空间的Cauchy算子方程的Hyers-Ulam-Rassias稳定性。     

拓扑偶的自同伦等价群

研究拓扑偶范畴中的自同伦等价群.对于同伦可结合与同伦可逆的Co-H空间X与Y,我们将在一定的条件下得到一条可裂的短正合序列:1→(?)(X)→(?)(X(?)Y)→(?)(Y)→1.     

锐角原理的构造性证明

本文用单纯同伦向量标号算法给出了上半连续集值映射的锐角原理的构造性证明,从而给出了几个不动点定理的构造性证明还给出了一个保证计算收敛的条件。     

Fundamental groupoids for simplicial objects in Mal'tsev categories

We show that the category of internal groupoids in an exact Mal'tsev category is reflective, and, moreover, a Birkhoff subcategory of the category of simplicial objects. We then characterize the central extensions of the corresponding Galois structure, and show that regular epimorphisms admit a relative monotone-light factorization system in the sense of Chikhladze. We also draw some comparison with Kan complexes. By comparing the reflections of simplicial objects and reflexive graphs into groupoids, we exhibit a connection with weighted commutators (as defined by Gran, Janelidze and Ursini).     

Varieties of simplicial groupoids I: Crossed complexes

It is usual to use algebraic models for homotopy types. Simplicial groupoids provide such a model. Other partial models include the crossed complexes of Brown and Higgins. In this paper, the simplicial groupoids that correspond to crossed complexes are shown to form a variety within the category of all simplicial groupoids and the corresponding verbal subgroupoid is identified.     

Flow does not Model Flows up to Weak Dihomotopy

We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach of dihomotopy involving simplicial presheaves over an appropriate small category is proposed. This small category is obtained by taking a full subcategory of a locally presentable version of the category of flows. Mathematics Subject Classifications (2000) 55P99, 68Q85, 18A32, 55U35.     

Monads with arities and their associated theories

After a review of the concept of “monad with arities” we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere’s algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free groupoid monad on involutive graphs and recover the symmetric simplicial nerve characterisation of groupoids.     

Geometric Realisations of Cubical Sets with Connections, and Classifying Spaces of Categories

We investigate the category of cubical sets with some additional degeneracies called connections. We prove that the realisation of a cubical set with connections is independent, up to homotopy, of whether we collapse those extra degeneracies or not and that any cubical set which is Kan admits connections. Using this type of cubical sets we define the cubical classifying space of a category and prove that this is equivalent to the simplicial one.     

A Full and Faithful Nerve for 2-Categories

The notion of geometric nerve of a 2-category (Street, J. Pure Appl. Algebra 49 (1987), 283–335) provides a full and faithful functor if regarded as defined on the category of 2-categories and lax 2-functors. Furthermore, lax 2-natural transformations between lax 2-functors give rise to homotopies between the corresponding simplicial maps. These facts allow us to prove a representation theorem of the general non-abelian cohomology of groupoids (classifying non-abelian extensions of groupoids) by means of homotopy classes of simplicial maps.Mathematics Subject Classifications (2000) 18D05, 18G30, 55P15.     

A homotopy theory for stacks

We give a homotopy theoretic characterization of stacks on a site C as the homotopy sheaves of groupoids on C. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare different definitions of stacks and show that they lead to Quillen equivalent model categories. In addition, we show that these model structures are Quillen equivalent to the S ²-nullification of Jardine’s model structure on sheaves of simplicial sets on C.     

Sur des notions de n—categorie et n—groupoide non strictes via des ensembles multi-simpliciaux (On the notions of a nonstrict n–category and n–groupoid via multisimplicial sets)

In this paper we first give a simplicial approach to the definition of a nonstrict n–category that we call a n–nerve following the idea that a category could be interpreted as a simplicial set (its nerve). Then we prove that for n=2 our construction is equivalent to the usual nonstrict 2–category (bicategory). Next,we give a simplicial definition of a nonstrict n–groupoïd, and we associate to any topological space a n–groupoïd n (X) which generalises the famous Poincaré groupoïd 1 (X) and embodies the n–truncated homotopy type of . Conversely, we construct for each n–groupoïd a geometric realisation and we show that the functors geometric realisation and Poincaré n–groupoïd induce an equivalence between the category of n–groupoids and the category of n–truncated topological spaces, when we localise both categories by weak equivalence.     

Groupoid cohomology and extensions

We show that Haefliger's cohomology for étale groupoids, Moore's cohomology for locally compact groups and the Brauer group of a locally compact groupoid are all particular cases of sheaf (or Cech) cohomology for topological simplicial spaces.