Separable morphisms of simplicial sets.
Several characterizations of SSDR-maps
Shellability and the strong gcd-condition.
Simplicial and categorical diagrams, and their equivariant applications.
Simplicial approximation.
Simplicial chains over a field and p-local homotopy theory.
Simplicial crossed modules and mapping cones.
Simplicial groups as models for -types
Simplicial matrices and the nerves of weak -categories I: Nerves of bicategories.
Simplicial Sets from Categories.
Simplicial T-complexes and crossed complexes: a non-abelian version of a theorem of Dold and Kan [Book]
Simplicial torsors.
Simplicial types and polynomial algebras
This paper shows that the simplicial type of a finite simplicial complex is determined by its algebra of polynomial functions on the baricentric coordinates with coefficients in any integral domain. The link between and is done through certain admissible matrix associated to in a natural way. This result was obtained for the real numbers by I. V. Savel’ev [5], using methods of real algebraic geometry. D. Kan and E. Miller had shown in [2] that determines the homotopy type of the polyhedron...
Simply connected coset complexes for rank 1 groups of Lie type.
Some examples of nontrivial homotopy groups of modules.
Some geometric perspectives in concurrency theory.
Some results on homotopy theory of modules
Seguendo le idee presentate nei lavori [1] e [2] si studiano le proprietà dei gruppi di -omotopia per moduli ed omomorfismi di moduli.
Spaces associated to quadratic endofunctors of the category of groups.
Square groups are gadgets classifying quadratic endofunctors of the category of groups. Applying such a functor to the Kan simplicial loop group of the 2-dimensional sphere, one obtains a one-connected three-type. We consider the problem of characterization of those three-types X which can be obtained in this way. We solve this problem in some cases, including the case when π2(X) is a finitely generated abelian group. The corresponding stable problem is solved completely.
Stable derived functors, the Steenrod algebra and homological algebra in the category of functors
We present a very short way of calculating additively the stable (co)homology of Eilenberg-MacLane spaces K(ℤ/p,n). Our method depends only on homological algebra in appropriate categories of functors.
Stratified model categories
The fourth axiom of a model category states that given a commutative square of maps, say i: A → B, g: B → Y, f: A → X, and p: X → Y such that gi = pf, if i is a cofibration, p a fibration and either i or p is a weak equivalence, then a lifting (i.e. a map h: B → X such that ph = g and hi = f) exists. We show that for many model categories the two conditions that either i or p above is a weak equivalence can be embedded in an infinite number of conditions which imply the existence of a lifting (roughly,...