Un lenguaje para la teoría de categorías formal

Se conoce que los equipments, un tipo especial de categorías dobles, proveen un contexto útil donde expresar la teoría de categorías formal. En esta charla presentamos una estructura modelo en la categoría de categorías dobles y functores dobles cuyos objetos fibrantes son precisamente los equipments. Luego usamos ésta, en conjunción con la teoría de FOLDS (First Order Logic with Dependent Sorts) de Makkai y la reciente conexión entre categorías modelo y lenguajes formales de Henry, para probar un resultado de invariancia bajo equivalencia de la teoría de categorías formal.