Wikimedia Commons has media related to Type theory.