直積

数学において、直積を考えられる対象は以下に挙げるように様々あり、それらの共通する本質は圏論的積によって捉えられる。