Related papers: Dowker Duality for Relations of Categories
We present a bicategorical perspective on derived Morita theory for rings, DG algebras, and spectra. This perspective draws a connection between Morita theory and the bicategorical Yoneda Lemma, yielding a conceptual unification of Morita…
The dissipative Hofstadter model describes the quantum mechanics of a charged particle in two dimensions subject to a periodic potential, uniform magnetic field, and dissipative force. Its phase diagram exhibits an SL(2,Z) duality symmetry…
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…
Homological Projective duality (HP-duality) theory, introduced by Kuznetsov [42], is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete…
We relativise double categories of relations to stable orthogonal factorisation systems. Furthermore, we present the characterisation of the relative double categories of relations in two ways. The first utilises a generalised comprehension…
In this work we propose a realization of Lurie's prediction that inner fibrations $p: X \rightarrow A$ are classified by $A$-indexed diagrams in a ``higher category" whose objects are $\infty$-categories, morphisms are correspondences…
The cartesian structure possessed by relations, spans, profunctors, and other such morphisms is elegantly expressed by universal properties in double categories. Though cartesian double categories were inspired in part by the older program…
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…
Chu connections and back diagonals are introduced as morphisms for distributors between categories enriched in a small quantaloid $\mathcal{Q}$. These notions, meaningful for closed bicategories, dualize the constructions of arrow…
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…
The definition of a pseudo-dualizing complex is obtained from that of a dualizing complex by dropping the injective dimension condition, while retaining the finite generatedness and homothety isomorphism conditions. In the specific setting…
We introduce a notion of Homological Projective Duality for smooth algebraic varieties in dual projective spaces, a homological extension of the classical projective duality. If algebraic varieties $X$ and $Y$ in dual projective spaces are…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
A neural code on $ n $ neurons is a collection of subsets of the set $ [n]=\{1,2,\dots,n\} $. Curto et al. \cite{curto2013neural} associated a ring $\mathcal{R}_{\mathcal{C}}$ (neural ring) to a neural code $\mathcal{C}$. A special class of…
Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…
Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp.…
To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…
We prove that a weak equivalence between two cofibrant (colored) props in chain complexes induces a Dwyer-Kan equivalence between the simplicial localizations of the associated categories of algebras. This homotopy invariance under base…
We lay the foundations for a theory of quasi-categories in a monoidal category $\mathcal{V}$ replacing $\mathrm{Set}$, aimed at realising weak enrichment in the category $S\mathcal{V}$ of simplicial objects in $\mathcal{V}$. To accomodate…
In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is…