Mitchell Riley is postdoctoral researcher at CQTS @ NYU Abu Dhabi.
institute page at NYU Abu Dhabi
old institute page at Iowa
The Kenzo-program for constructive algebraic topology (computational topology) re-written in Haskell:
On adjoint logic:
On optics (in computer science), such as lenses:
On homotopy dependent linear type theory of dependent stable homotopy types (via a form of bunched logic) with categorical semantics in parametrized spectra:
Mitchell Riley, Eric Finster, Daniel Licata, Synthetic Spectra via a Monadic and Comonadic Modality [arXiv:2102.04099]
Mitchell Riley, Extending Homotopy Type Theory with Linear Type Formers, talk at The ForML LAb (2021) [web, video]
Mitchell Riley, A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory, PhD Thesis (2022) [doi:10.14418/wes01.3.139, ir:3269, pdf]
Mitchell Riley, Linear Homotopy Type Theory, talk at: HoTTEST Event for Junior Researchers 2022 (Jan 2022) [slides: pdf, pdf, video: YT]
Abstract. Some ∞-toposes support constructions that are inherently ‘linear’, such as the external smash product of parameterised spectra. These cannot be added axiomatically to ordinary HoTT, because there is no way to enforce this linearity: there are no restrictions on variable uses. This talk describes an extension of HoTT with linear tensor and hom type formers, as a kind of ‘binary modality’ and its right adjoint. Trying to stay compatible with existing results in HoTT naturally leads us to a novel kind of bunched dependent type theory. Our type theory is intended to be as human-usable as possible, with an eye towards synthetic stable homotopy theory.
Mitchell Riley, Dependent Type Theories à la Carte, talk at CQTS Initial Researcher’s Meeting (Sep 2022) [pdf]
On cohesive homotopy type theory with a pair of commuting cohesive structures (such as for differential orbifold cohomology):
Proof that Conway's game of life is omniperiodic:
Nico Brown, Carson Cheng, Tanner Jacobi, Maia Karpovich, Matthias Merzenich, David Raucci, Mitchell Riley, Conway’s Game of Life is Omniperiodic [arXiv:2312.02799]
The Physics arXiv Blog, Mathematicians Prove the “Omniperiodicity” of Conway’s Game of Life (Dec 2024)
A modal type theory for tiny objects:
Mitchell Riley, A Type Theory with a Tiny Object [arXiv:2403.01939]
Mitchell Riley: Tiny Objects in Type Theory, talk at Running HoTT 2024, CQTS @ NYU Abu Dhabi (Apr 2024) [slides:pdf, video: kt]
Last revised on July 14, 2024 at 13:00:13. See the history of this page for a list of all contributions to it.