Sémantique catégorique des types : comprendre le système F
Spaces and equations
It is proved, for various spaces A, such as a surface of genus 2, a figure-eight, or a sphere of dimension ≠ 1,3,7, and for any set Σ of equations, that Σ cannot be modeled by continuous operations on A unless Σ is undemanding (a form of triviality that is defined in the paper).
Strong embeddings into categories of algebras over a monad. II.