It is not the case that Isomorphism types in NFU are sets of relations of a given type-level, making cross-level ordinal operations like T type-theoretically ill-formed.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.