nLab Ioannis Markakis

• personal page

• Institute page

Selected writings

On weak $\omega$-categories via computads construed as inductive types:

• Christopher J. Dean, Eric Finster, Ioannis Markakis, David Reutter, Jamie Vicary, Computads for weak $\omega$-categories as an inductive type [arXiv:2208.08719]