An Abstract Elementary Class Nonaxiomatizable In ${L_{ infty , kappa }}$. - Simon Henry (J. Symb. Log., 2019)

Tietze Equivalences as Weak Equivalences. - Simon Henry; Samuel Mimram (Appl. Categorical Struct., 2022)

Compact Hausdorff Locales in Presheaf Toposes. - Simon Henry; Christopher Townsend (Appl. Categorical Struct., 2023)