Formalizing categories in FOLDS (First Order Logic with Dependent Sorts)