Related papers: Kan subdivision and products of simplicial sets
It is well known that the underlying simplicial set of any simplicial group is a Kan complex. Roughly speaking, Kan complex is an infinite-dimensional analogue of groupoid, and the relation between groupoids and categories resembles that…
In this paper we prove that a simplicial map of finite-dimensional locally finite simplicial complexes has contractible point inverses if and only if it is an $\epsilon$-controlled homotopy equivalence for all $\epsilon>0$ if and only if…
We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.
We study simplicial action of groups on one vertex Kan complexes. We show that every semi-direct product of the fundamental group of an one vertex Kan complex with a finite group can be simplicially realized. We also calculate the…
The simplicial extension of any functor from Sets to Sets which commutes with directed colimits takes weak equivalences to weak equivalences. The goal of the present paper is construct a framework which can be used to proof results of this…
We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…
We establish a functor $Kan$ from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.
By careful analysis of the comparison map from a simplicial set to its image under Kan's ex-infinity functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a…
A semisimplicial set has face maps but not degeneracies. A basic fact, due to Rourke and Sanderson, is that a semisimplicial set satisfying the Kan condition can be given a simplicial structure. The present paper gives a combinatorial proof…
We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…
We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…
On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a…
The paper is devoted to an approach to the bounded cohomology theory based on the theories of simplicial sets and Postnikov systems. In particular, the main results of the bounded cohomology theory of topological spaces are extended to…
We prove that the space of surjective holomorphic maps from a compact complex manifold to a compact K\"ahler manifold with trivial canonical class and finite fundamental group is discrete.
We give an explicit simplicial model for the Hopf map S^3 -> S^2. For this purpose, we construct a model of S^3 as a principal twisted cartesian product K x_{eta} S^2, where K is a simplicial model for S^1 acting by left multiplication on…
We use pointwise Kan extensions to generate new subcategories out of old ones. We investigate the properties of these newly produced categories and give sufficient conditions for their cartesian closedness to hold. Our methods are of…
We show that the category of (reflexive) graphs and graph maps carries exactly two closed symmetric monoidal products: the box product and the categorical product.
There are infinitely many variants of the notion of Kan fibration that, together with suitable choices of cofibrations and the usual notion of weak equivalence of simplicial sets, satisfy Quillen's axioms for a homotopy model category. The…
Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…
We give a new explicit construction for the simplicial group $K(A,n)$. We explain the topological interpretation and discuss some possible applications.