Related papers: The bivariant parasimplicial $\mathsf{S}_{\bullet}…

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…

Structured and decorated cospans are broadly applicable frameworks for building bicategories or double categories of open systems. We streamline and generalize these frameworks using central concepts of double category theory. We show that,…

We develop a string-net construction of a modular functor whose algebraic input is a pivotal bicategory; this extends the standard construction based on a spherical fusion category. An essential ingredient in our construction is a graphical…

We define and study coherent cochain complexes in arbitrary stable $\infty$-categories, following Joyal. Our main result is that the $\infty$-category of coherent cochain complexes in a stable $\infty$-category $\mathscr C$ is equivalent to…

In arXiv:1905.07734 we presented a construction that is an analogue of Pontryagin's for proper maps in stable dimensions. This gives a bijection between the cobordism set of framed embedded compact submanifolds in $W\times\mathbb{R}^n$ for…

We investigate the construction of coherent states for quantum theories of connections based on graphs embedded in a spatial manifold, as in loop quantum gravity. We discuss the many subtleties of the construction, mainly related to the…

We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into…

Let $X_\Sigma$ be a complete toric variety. The coherent-constructible correspondence $\kappa$ of \cite{FLTZ} equates $\Perf_T(X_\Sigma)$ with a subcategory $Sh_{cc}(M_\bR;\LS)$ of constructible sheaves on a vector space $M_\bR.$ The…

In this work, we introduce {\em topological representations of a quiver} as a system consisting of topological spaces and its relationships determined by the quiver. Such a setting gives a natural connection between topological…

Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We…

Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…

We study the representation theory of Dynkin quivers of type A in abstract stable homotopy theories, including those associated to fields, rings, schemes, differential-graded algebras, and ring spectra. Reflection functors, (partial)…

We show that string algebras are `homologically tame' in the following sense: First, the syzygies of arbitrary representations of a finite dimensional string algebra $\Lambda$ are direct sums of cyclic representations, and the left…

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of \v{S}penko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves…

For a left coherent ring A with every left ideal having a countable set of generators, we show that the coderived category of left A-modules is compactly generated by the bounded derived category of finitely presented left A-modules…

This paper defines coherent manifolds and discusses their properties and their application in quantum mechanics. Every coherent manifold with a large group of symmetries gives rise to a Hilbert space, the completed quantum space of $Z$,…