Simon Henry

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Connected Components

Compact Representations

Top Venues

Appl. Categorical Struct.

Publications

Simon Henry, Christopher Townsend
Compact Hausdorff Locales in Presheaf Toposes. Appl. Categorical Struct. 31 (6) (2023)
Simon Henry, Samuel Mimram
Tietze Equivalences as Weak Equivalences. Appl. Categorical Struct. 30 (3) (2022)
Simon Henry, Samuel Mimram
Tietze Equivalences as Weak Equivalences. CoRR (2021)
Simon Henry
An Abstract Elementary Class Nonaxiomatizable In ${L_{\infty , \kappa }}$. J. Symb. Log. 84 (3) (2019)