4
Set ve type arasındaki anlamsal fark tam olarak nedir?
EDIT: Şimdi kategoriler ve kümeler arasındaki fark hakkında benzer bir soru sordum . Her ne zaman tip teorisini okuduğumda (şüphesiz gayri resmidir), küme teorisinden somut olarak nasıl farklılaştığını gerçekten anlayamıyorum . "X bir X kümesine aittir" ile "x X türünde" demek arasında kavramsal bir fark olduğunu anlıyorum, çünkü sezgisel olarak, …
33
type-theory
sets