Related papers: Comparing globular complex and flow

We give a criterion for a functor \(F:C\rightarrow B\) between small categories to generate a small presentation of the universal model category \(U(B)\) in the sense of Dugger.

We study the semi-topologization functor of Friedlander-Walker from the perspective of motivic homotopy theory. We construct a triangulated endo-functor on the stable motivic homotopy category $\mathcal{SH}(\C)$, which we call…

Two flows on a finite-dimensional normed space $X$ are equivalent if some homeomorphism $h$ of $X$ preserves all orbits, i.e., $h$ maps each orbit onto an orbit. Under the assumption that $h$, $h^{-1}$ both are $\beta$-H\"{o}lder continuous…

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

We introduce a new class of autoequivalences that act on the derived categories of certain vector bundles over Grassmannians. These autoequivalences arise from Grassmannian flops: they generalize Seidel-Thomas spherical twists, which can be…

Auslander's formula shows that any abelian category C is equivalent to the category of coherent functors on C modulo the Serre subcategory of all effaceable functors. We establish a derived version of this equivalence. This amounts to…

For a set of maps of based spaces $S$ we construct a version of Weiss' orthogonal calculus which depends only on the $S$-local homotopy type of the functor involved. We show that $S$-local homogeneous functors of degree $n$ are equivalent…

We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the…

We consider the characterization of global attractors $A_f$ for semiflows generated by scalar one-dimensional semilinear parabolic equations of the form $u_t = u_{xx} + f(u,u_x)$, defined on the circle $x\in S^1$, for a class of reversible…

Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point…

We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new…

Every principal G-bundle is classified up to equivalence by a homotopy class of maps into the classifying space of G. On the other hand, for every nice topological space Milnor constructed a strict model of loop space, that is a group.…

We introduce a new category of higher-dimensional automata in which the morphisms are functional homotopy simulations, i.e. functional simulations up to concurrency of independent events. For this, we use unfoldings of higher-dimensional…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use…

In the theory of operads we consider functors of generalized symmetric powers defined by sums of coinvariant modules under actions of symmetric groups. One observes classically that the construction of symmetric functors provides an…

The purpose of this note is to point out that simplicial methods and the well-known Dold-Kan construction in simplicial homotopy theory can be fruitfully applied to convert link homology theories into homotopy theories. Dold and Kan prove…

In this paper, we prove an equivariant version of the classical Dold-Thom theorem. Associated to a finite group, a CW-complex on which this group acts and a covariant coefficient system in the sense of Bredon, we functorially construct a…

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…