Related papers: Unbased calculus for functors to chain complexes

We construct the skein category $\mathcal{S}$ of the annulus and show that it is equivalent to the affine Temperley-Lieb category of Graham and Lehrer. It leads to a skein theoretic description of the extended affine Temperley-Lieb…

The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into…

The discriminant method is a tool for describing the cohomology, or the homotopy type, of certain spaces of smooth maps with uncomplicated singularities from a smooth compact manifold L to R^k. We recast some of it in the language of…

In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and disadvantages for each. We consider three different notions…

For an oriented knot $K$, we construct a functor from the category of pointed quandles to the category of quandles in three different ways. We also extend the quandle cocycle invariants of knots by using these quandle-valued invariant of…

The category of contexts underlying a model of Martin-L\"of type theory with Unit-, $\Sigma$-, and $\Pi$-types need not be locally Cartesian closed, but is necessarily a $\pi$-clan. We exploit this $\pi$-clan structure to build the theory…

This work is the first in a series of papers that, among other things, extends the formalism of diolic differential calculus, wherein a new context for obtaining differential calculus in vector bundles was established. Here we provide a…

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…

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…

In previous work ("From signatures to monads in UniMath"), we described a category-theoretic construction of abstract syntax from a signature, mechanized in the UniMath library based on the Coq proof assistant. In the present work, we…

The non-equivariant topology of Stiefel manifolds has been studied extensively, culminating in a result of Miller demonstrating that a Stiefel manifold splits stably to a wedge of Thom spaces over Grassmannians. Equivariantly, one can…

We prove that the projective model structure on the category of unbounded cochain complexes extends naturally to the category of contractions. The proof is completely elementary and we do not assume familiarity with model categories.

We prove a chain rule for the Goodwillie calculus of functors from spectra to spectra. We show that the (higher) derivatives of a composite functor $FG$ at a base object $X$ are given by taking the composition product (in the sense of…

There are several ways to construct omega-categories from combinatorial objects such as pasting schemes or parity complexes. We make these constructions into a functor on a category of chain complexes with additional structure, which we…

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

We work out the details of a correspondence observed by Goodwillie between cosimplicial spaces and good functors from a category of open subsets of the interval to the category of compactly generated weak Hausdorff spaces. Using this, we…

Taylor's theorem (and its variants) is widely used in several areas of mathematical analysis, including numerical analysis, functional analysis, and partial differential equations. This article explains how Taylor's theorem in its most…

In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than…