Ioannis Markakis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Computads for weak \omega-categories as an inductive type (available as arXiv preprint)	N/A	Paper
Opposites of weak \omega-categories and the suspension and hom adjunction (available as arXiv preprint)	N/A	Paper
CaTT contexts are finite computads (available as arXiv preprint)	N/A	Paper
CaTT contexts are finite computads	2026-04-02	Paper
A type theory for invertibility in weak ω-categories (available as arXiv preprint)	2026-01-01	Paper
Computads with invertible generators for weak ω-categories (available as arXiv preprint)	2026-01-01	Paper
Hom -categories of a computad are free Journal of the London Mathematical Society. Second Series	2025-12-05	Paper
Naturality for higher-dimensional path types (available as arXiv preprint)	2025-01-01	Paper
Beyond Eckmann-Hilton: Commutativity in Higher Categories (available as arXiv preprint)	2025-01-01	Paper
Computads for weak -categories as an inductive type Advances in Mathematics	2024-06-27	Paper
Invertible cells in \omega-categories (available as arXiv preprint)	2024-01-01	Paper
Computads for generalised signatures	2023-03-21	Paper
Computing minimal generating systems for some special toric ideals	2017-05-17	Paper
Computing minimal generating systems for some special toric ideals (available as arXiv preprint)	2017-01-01	Paper

Research outcomes over time

This page was built for person: Ioannis Markakis