Duality for weak ω-categories and the suspension and hom adjunction. - Thibaut Benjamin; Ioannis Markakis (CoRR, 2024)

CaTT contexts are finite computads. - Thibaut Benjamin; Ioannis Markakis; Chiara Sarti (CoRR, 2024)

Invertible cells in ω-categories. - Thibaut Benjamin; Ioannis Markakis (CoRR, 2024)

Naturality for higher-dimensional path types. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)

Higher Eckmann-Hilton Arguments in Type Theory. - Thibaut Benjamin; Ioannis Markakis; Wilfred Offord; Chiara Sarti; Jamie Vicary (CoRR, 2025)