Аннотация
소개에서 작은 객체의 중요성 강조
유형 이론의 확장과 작은 객체의 관련성 설명
작은 객체의 특성과 응용에 대한 논의
유형 이론의 구성과 증명 방법에 대한 설명
작은 객체와 관련된 다양한 개념 및 응용 사례 소개
작은 객체와 유형 이론의 관련성에 대한 토론
Статистика
D :≡ {x : R | x^2 = 0}
Lawvere's account of differential forms in synthetic differential geometry
Lawvere의 내재 미분 기하학에서의 작은 객체 개념
Цитаты
"Tiny objects are central to Lawvere’s account of differential forms in synthetic differential geometry."
"Tininess is simultaneously unusual and abundant."
"We describe an extension of Martin-L¨of Type Theory that makes a fixed type T tiny by introducing a type former √ for the amazing right adjoint to (T → −)."