Resumo
소개에서 작은 객체의 중요성 강조
유형 이론의 확장과 작은 객체의 관련성 설명
작은 객체의 특성과 응용에 대한 논의
유형 이론의 구성과 증명 방법에 대한 설명
작은 객체와 관련된 다양한 개념 및 응용 사례 소개
작은 객체와 유형 이론의 관련성에 대한 토론
Estatísticas
D :≡ {x : R | x^2 = 0}
Lawvere's account of differential forms in synthetic differential geometry
Lawvere의 내재 미분 기하학에서의 작은 객체 개념
Citações
"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 → −)."