En matemáticas , específicamente en teoría de categorías , un cuasitopos es una generalización de un topos . Un topos tiene un clasificador de subobjetos que clasifica todos los subobjetos, pero en un cuasitopos, sólo se clasifican los subobjetos fuertes. También se requiere que las cuasiposeas sean finitamente cocompletas y localmente cartesianas cerradas. [1] Un cuasitopos sólido es aquel para el cual 0 es un subobjeto fuerte de 1. [2]