о гебешных патриархах
Мне кажется, их атеизм непосредственно следует из их антихристианских заявлений и поведения. Были бы верующими, бога бы побоялись.
AB
, the 'type of all functions', where equality, if given, is extensional, and Hom(A,B)
, where equality is intensional, they are just arrows in a certain category, and, for practical purposes, are identifiable library functions (or their combinations in expressions).