Related papers: Flow does not model flows up to weak dihomotopy
We show that the classifying space of the flow category of a \emph{tame} Morse function on a smooth, closed manifold $M$ recovers the homotopy type of $M$, thereby addressing a claim in a preprint of Cohen--Jones--Segal. The tameness…
The aim of this work is to prove $C^1$ weak Palis conjecture for nonsingular flows. Weak Palis conjecture claims that a generic vector field either is Morse-Smale or exhibits horseshoes. Central model is come up with by Crovisier to obtain…
We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…
We prove that a homotopy cofinal functor between small categories induces a weak equivalence between homotopy colimits of pointed simplicial sets. This is used to prove that the non-Abelian homology of a group diagram is isomorphic to the…
Based on a Whitehead-type characterization of the sectional category we develop the notion of weak sectional category. This is a new lower bound of the sectional category, which is inspired by the notion of weak category in the sense of…
We introduce, develop, and apply a new approach for dealing with the intuitive notion of function, called Flow Theory. Within our framework all functions are monadic and none of them has any domain. Sets, proper classes, categories,…
We extend the framework of combinatorial model categories, so that the category of small presheaves over large indexing categories and ind-categories would be embraced by the new machinery called class-combinatorial model categories. The…
We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects…
We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
Incidence relations among the cells of a regular CW complex produce a poset-enriched category of entrance paths whose classifying space is homotopy-equivalent to that complex. We show here that each acyclic partial matching (in the sense of…
In topological data science, categories with a flow have become ubiquitous, including as special cases examples like persistence modules and sheaves. With the flow comes an interleaving distance, which has proven useful for applications. We…
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $\mu$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient…
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not…
The existence of a model structure on the category $\mathcal{D}$ of diffeological spaces is crucial to developing smooth homotopy theory. We construct a compactly generated model structure on the category $\mathcal{D}$ whose weak…
We introduce Categorical Flow Maps, a flow-matching method for accelerated few-step generation of categorical data via self-distillation. Building on recent variational formulations of flow matching and the broader trend towards accelerated…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
Erratum, 11 July 2022: This is an updated version of the original paper in which the notion of reparametrization category was incorrectly axiomatized. Details on the changes to the original paper are provided in the Appendix. A…
This article is devoted to questions concerning the existence of solutions for partial differential equation problems modeling granular flows. The models studied take into account the complex threshold rheology of these flows, as well as…