滑らかな無限小解析
滑らかな無限小解析(なめらかなむげんしょうかいせき、英: Smooth infinitesimal analysis、SIA)は無限小の言葉を用いた微分積分学の現代的な再定式化(のひとつ)である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。SIAは理論としては総合微分幾何(英語版)の一部である。
複零(nilsquare)あるいは冪零(nilpotent)無限小とは、ε = 0 なる数 ε のことである(ε = 0 は真である必要がない)。