Related papers: The bivariant parasimplicial $\mathsf{S}_{\bullet}…
Category of pro-nilpotently extended differential graded commutative algebras is introduced. Chevalley-Eilenberg construction provides an equivalence between its certain full subcategory and the opposite to the full subcategory of strong…
We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…
We introduce the notion of (twisted) quiver representations in abelian categories and study the category of such representations. We construct standard resolutions and coresolutions of quiver representations and study basic homological…
It is shown that any compact K\"ahler manifold $M$ gives canonically rise to two strongly homotopy algebras, the first one being associated with the Hodge theory of the de Rham complex and the second one with the Hodge theory of the…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
We give an alternate conception of string diagrams as labeled 1-dimensional oriented cobordisms, the operad of which we denote by Cob/O, where O is the set of string labels. The axioms of traced (symmetric monoidal) categories are fully…
A study is made of the implications of heterotic string $T$-duality and extended gauge symmetry for the conjectured equivalence of heterotic and Type I superstrings. While at first sight heterotic string world-sheet dynamics appears to…
We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…
We study the coupling of the closed string to the open string in the topological B-model. These couplings can be viewed as gauge invariant observables in the open string field theory, or as deformations of the differential graded algebra…
Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…
We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded…
We introduce the notion of ST-pairs of triangulated subcategories, a prototypical example of which is the pair of the bound homotopy category and the bound derived category of a finite-dimensional algebra. For an ST-pair $(\C,\D)$, we…
A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is…
Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…
This paper is the third paper of a series devoted to higher dimensional transition systems. The preceding paper proved the existence of a left determined model structure on the category of cubical transition systems. In this sequel, it is…
We study the categorical framework for the computation of persistent homology, without reliance on a particular computational algorithm. The computation of persistent homology is commonly summarized as a matrix theorem, which we call the…
Stringy canonical forms are a class of integrals that provide $\alpha'$-deformations of the canonical form of any polytopes. For generalized associahedra of finite-type cluster algebra, there exist completely rigid stringy integrals, whose…
Given a functor from any category into the category of topological spaces, one obtains a linear representation of the category by post-composing the given functor with a homology functor with field coefficients. This construction is…
Recent work has shown that two-dimensional non-linear $\sigma$-models on group manifolds with Poisson-Lie symmetry can be understood within generalised geometry as exemplars of generalised parallelisable spaces. Here we extend this idea to…