En matemáticas , específicamente en teoría de categorías , un quasitopos es una generalización de un topos . Un topos tiene un clasificador de subobjetos que clasifica todos los subobjetos, pero en un quasitopos, solo se clasifican los subobjetos fuertes. También se requiere que los quasitopos sean finitamente co-completos y localmente cartesianos cerrados. [1] Un quasitopos sólido es uno para el cual 0 es un subobjeto fuerte de 1. [2]