The Theory of Topos-Theoretic 'Bridges' – A Conceptual Introduction (2016)

This is an interesting article, but the absence of simple examples of theories and their toposes and invariants made it seem a little abstract. Surely if the technique is so powerful, there ought to be easy examples of it aplenty.