An experiment exploring the topos of graphs and it's internal language using agda.
- Inspired by an answer on math overflow by Andrej Bauer
- A nice explanation of glued topoi by Trebor Huang
- The prelude is modified from Jon Sterling's agda-stc repository. Which is a project using the internal language of certain glued topoi to prove metatheoretic results about the syntax of type theories.
- A guided tour in the Topos of Graphs - Sebastiano Vigna