Proving the Seifert–Van Kampen theorem categorically.
Looking at some aspects of higher dimensional space.
Testing the tests
