arXiv subjects
Publications and source records attributed to Ian Coley.
We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice regular category by a Serre subcategory.
Molecules with identical graph connectivity can exhibit different physical and biological properties if they exhibit stereochemistry-a spatial structural characteristic. However, modern neural architectures designed for learning structure-property relationships from molecular structures treat molecules as graph-structured data and therefore are invariant to stereochemistry. Here, we develop two custom aggregation functions for message passing neural networks to learn properties of molecules with tetrahedral chirality, one common form of stereochemistry. We evaluate performance on synthetic data as well as a newly-proposed protein-ligand docking dataset with relevance to drug discovery. Results show modest improvements over a baseline sum aggregator, highlighting opportunities for further architecture development.
We review the theory of derivators from the ground up, defining new classes of derivators which were originally motivated by derivator K-theory. We prove that many old arguments that relied on homotopical bicompleteness hold also for one-sided half derivators on arbitrary diagram categories. We end by defining the maximal domain for a K-theory of derivators generalising Waldhausen K-theory.
We build on work of Muro-Raptis in [Ann. K-Theory 2 (2017), no. 2, 303-340] and Cisinski-Neeman in [Adv. Math. 217 (2008), no. 4, 1381-1475] to prove that the additivity of derivator K-theory holds for a large class of derivators that we call left pointed derivators, which includes all triangulated derivators. The proof methodology is an adaptation of the combinatorial methods of Grayson in [Doc. Math. 16 (2011), 457-464]. As a corollary, we prove that derivator K-theory is an infinite loop space. Finally, we speculate on the role of derivator K-theory as a trace from the algebraic K-theory of a stable $\infty$-category à la Blumberg-Gepner-Tabuada in [Geom. Topol. 17 (2013), no. 2, 733-838].
We revisit and improve Alex Heller's results on the stabilization of derivators in Stable Homotopy Theories and Stabilization (J Pure Appl Algebra, 115(2):113-130, 1997), recovering his results entirely. Along the way we give some details of the localization theory of derivators and prove some new results in that vein.