.agdai files are boring
equivalence of categories