Sie haben auf den externen Link "https://abuseofnotation.github.io/category-theory-illustrated/06_type/" geklickt. Damit verlassen Sie die Website von DR.DRUM.

Gehe zu https://abuseofnotation.github.io/category-theory-illustrated/06_type/.