The cubical category with connections is a strict test category

From MaRDI portal
Publication:846036