Related papers: An Inductive Strategy Towards a Solution to the Ge…

Awodey, later with Newstead, showed how polynomial functors with extra structure (termed ``natural models'') hold within them the categorical semantics for dependent type theory. Their work presented these ideas clearly but ultimately led…

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove…

This is a survey. The main subject of this survey is the homotopical or homological nature of certain structures which appear in classical problems about groups, Lie rings and group rings. It is well known that the (generalized) dimension…

We develop foundations for abstract homotopy theory based on Grothendieck's idea of a "derivator". The theory is model-independent, and does not depend on model categories, nor on simplicial sets. It is designed to accomodate all the usual…

The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits…

The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…

Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…

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…

With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the…

We introduce a class of good endofunctors of $C^{*}$-algebras, endow it with a structure of a bimonoidal category, and define homotopies of natural transformations between such endofunctors. For every pair of $C^{*}$-algebras and a good…

We develop a theory of $\times$-homotopy, fundamental groupoids and covering spaces that apply to non-simple graphs, generalizing existing results for simple graphs. We prove that $\times$-homotopies from finite graphs can be decomposed…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

We define a notion of Morse function and establish Morse theory-like theorems over offsets of any compact set in a Euclidean space at regular values of their distance function. Using non-smooth analysis and tools from geometric measure…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

The main aim of this paper is to study chains of model structures arising from cotorsion pairs in extriangulated categories. Starting with a hereditary Hovey triple, we construct further hereditary Hovey triples whose homotopy categories…

Modern continuous-time generative models typically induce \emph{V-shaped} flows: each sample travels independently along a nearly straight trajectory from the prior to the data. Although effective, this independent movement overlooks the…

In the first part of this paper we show that path categories are enriched over groupoids, in a way that is compatible with a suitable 2-category of path categories. In the second part we introduce a new notion of homotopy exponential and…

Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial.…

We use the dictionary between general field theories and strongly homotopy algebras to provide an algebraic formulation of the procedure of integrating out of degrees of freedom in terms of homotopy transfer. This includes more general…