In the language of internal categories one can say that for PTT we do not use internal ... The hope was that restriction to a certain class of “ parametric ...
確定! 回上一頁