Inner horns for 2-quasi-categories

Yuki Maehara

Dimitri Ara's 2-quasi-categories, which are certain presheaves over André Joyal's 2-cell category ${\Theta }_2$, are an example of a concrete model that realises the abstract notion of $(\…