2 citations · 4 across the 3 of their papers we have counts for
3 papers
math.CT2024
A Type Theory with a Tiny Object
Mitchell Riley
We present an extension of Martin-Löf Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected…
math.CO2023★ 2 cited
Conway's Game of Life is Omniperiodic
Nico Brown, Carson Cheng, Tanner Jacobi +4
In the theory of cellular automata, an oscillator is a pattern that repeats itself after a fixed number of generations; that number is called its period. A cellular automaton is ca…
math.CT2023★ 2 cited
Commuting Cohesions
David Jaz Myers, Mitchell Riley
Shulman's spatial type theory internalizes the modalities of Lawvere's axiomatic cohesion in a homotopy type theory, enabling many of the constructions from Schreiber's modal appro…