밂 (범주론): 두 판 사이의 차이

\end{matrix}</math>

이는 범주론적 [[쌍대극한]]을 이루어야 한다. 즉, 다음과 같은 [[보편 성질]]을 만족시켜야 한다. 다른 모든 대상 <math>Q</math> 및 사상 <math>q_1\colon Q\to X</math>, <math>q_2\colon Q\to Y</math>에 대하여, 만약 <math>f\circ q_1=g\circ q_2</math>라면 다음 그림을 가환하게 만드는 유일한 사상 <math>u\colon Q\to P</math>가 존재한다.

 

== 성질 ==

* {{eom|title=Fibre product of objects in a category}}

* {{nlab|id=pushout|title=Pushout}}

 

== 같이 보기 ==