agda-categories: add package