Elementary Theory of the Category of Sets in Agda Requirements Agda 2.7.0 Agda Stdlib 2.1.1 License CC BY-NC-SA 4.0