EDIT: Ich habe jetzt eine ähnliche Frage zum Unterschied zwischen Kategorien und Mengen gestellt. Jedes Mal, wenn ich über Typentheorie lese (die zugegebenermaßen eher informell ist), kann ich nicht wirklich verstehen, wie sie sich konkret von der Mengenlehre unterscheidet . Ich verstehe, dass es...