Video in TIB AV-Portal: Toposes are commutative rings