Convenient categories for internal singular algebraic topology
category together with an embedded topos
simplex structure on a pair of categories
scientific article; zbMATH DE number 3782047