Agda library for my research in categorical logic