Por ejemplo, los constructivistas pueden estar interesados en los topos de todos los conjuntos y funciones "construíbles" en algún sentido.