Computads for weak ω-categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary Advances in Mathematics 450, 109739, 2024 | 8 | 2024 |
Computads for generalised signatures I Markakis Journal of Pure and Applied Algebra 228 (9), 107675, 2024 | 1 | 2024 |
CaTT contexts are finite computads T Benjamin, I Markakis, C Sarti arXiv preprint arXiv:2405.00398, 2024 | 1 | 2024 |
Computing minimal generating systems for some special toric ideals DI Dais, I Markakis arXiv preprint arXiv:1705.06339, 2017 | 1 | 2017 |
Invertible cells in -categories T Benjamin, I Markakis arXiv preprint arXiv:2406.12127, 2024 | | 2024 |
Opposites and hom weak ω-categories I Markakis | | |