相关论文: Classification spaces of maps in model categories
In a previous paper we classified the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold to its model space in terms of a suitable version of framed cobordism. We explicitly computed these homotopy…
We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…
Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we…
In this paper we lay the foundations of an $\infty$-categorical theory of Stokes data.
We give a description up to homeomorphism of $S^3$ and $S^2$ as classifying spaces of small categories, such that the Hopf map $S^3\to{}S^2$ is the realization of a functor.
In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.
Sigma models effectively describe ordered phases of systems with spontaneously broken symmetries. At low energies, field configurations fall into solitonic sectors, which are homotopically distinct classes of maps. Depending on context,…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…
In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of…
For a Hopf DG-algebra corresponding to a derived algebraic group, we compute the homotopy limit of the associated cosimplicial system of DG-algebras given by the classifying space construction. The homotopy limit is taken in the model…
We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…
Given a diagram of small categories $F : J \rightarrow \textbf{Cat}$, we provide a combinatorial description of its colimit in terms of the indexing category $J$ and the categories and functors in the diagram $F$. We introduce certain…
We define a new version of Topological Complexity (TC) of a space, denoted as $\text{dTC}$, which, we think, fits better for motion planning for some autonomous systems. Like Topological complexity, \text{dTC} is also a homotopy invariant.…
Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of…
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…
Withdrawn paper because the results are recycled in several other papers and a new definition of T-homotopy is proposed in math.AT/0505152.
Nozaki et.~al.\ gave a homotopy classification of the knotted defects of ordered media in three-dimensional space by considering continuous maps from complements of spatial graphs to the order parameter space modulo a certain equivalence…
It is known that the existence of localization with respect to an arbitrary (possibly proper) class of maps in the category of simplicial sets is implied by a large-cardinal axiom called Vopenka's principle.In this article we extend the…
In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…