Ioannis Markakis

Orcid: 0000-0001-7553-9009

According to our database¹, Ioannis Markakis authored at least 5 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Higher Eckmann-Hilton Arguments in Type Theory.

[BibT_eX]

[DOI]

CoRR, January, 2025

Naturality for higher-dimensional path types.

[BibT_eX]

[DOI]

CoRR, January, 2025

2024

Invertible cells in ω-categories.

[BibT_eX]

[DOI]

Thibaut Benjamin

Ioannis Markakis

CoRR, 2024

CaTT contexts are finite computads.

[BibT_eX]

[DOI]

Thibaut Benjamin

Ioannis Markakis

Chiara Sarti

CoRR, 2024

Duality for weak ω-categories and the suspension and hom adjunction.

[BibT_eX]

[DOI]

Thibaut Benjamin

Ioannis Markakis

CoRR, 2024

Ioannis Markakis

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...