滑らかな無限小解析

滑らかな無限小解析（なめらかなむげんしょうかいせき、英: Smooth infinitesimal analysis、SIA）は無限小の言葉を用いた微分積分学の現代的な再定式化（のひとつ）である。ウィリアム・ローヴェアのアイデアに基づき、また圏論の手法を用いることで、SIAは全ての関数は連続であって、離散的実体を用いて表現することができないものと見做す。