Related papers: Abstract cubical homotopy theory

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…

We look more closely at the higher nonabelian de Rham cohomology of a smooth projective variety or family of varieties that had been defined in some previous papers. We formalize using $n$-stacks the notion of shape underlying this…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

We study the confluence property of abstract rewriting systems internal to cubical categories. We introduce cubical contractions, a higher-dimensional generalisation of reductions to normal forms, and employ them to construct cubical…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and…

Let $n \geq 2$. We introduce the notion of $n$-representations of quivers, and we explicitly provide concrete examples of $2$-representations of quivers. We establish the categories of $n$-representations and investigate kernels and…

We describe the category of homotopy coalgebras, concentrating on properties of relatively cofree homotopy coalgebras, morphisms and coderivations from an ordinary coalgebra to a relatively cofree homotopy coalgebra, morphisms and…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…

We have two parallel goals of this paper. First, we investigate and construct cofree coalgebras over $n$-representations of quivers, limits and colimits of $n$-representations of quivers, and limits and colimits of coalgebras in the…

We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…

The theory of $N$-complexes is a generalization of both ordinary chain complexes and graded objects. Hence it yields deeper insight in the structure of these and offers a broader range of applications. This work generalizes the tensor…

This is a survey on recent developments in Cohen-Macaulay representations via tilting and cluster tilting theory. We explain triangle equivalences between the singularity categories of Gorenstein rings and the derived (or cluster)…

We give a full classification of representation types of the subcategories of representations of an $m \times n$ rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of…

Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus…

This paper introduces the category of marked curved Lie algebras with curved morphisms, equipping it with a closed model category structure. This model structure is---when working over an algebraically closed field of characteristic…