construction to \glue together\ mathematical objects along a downward-directed set (en)
수학적 대상들을 하향 집합을 따라 이어붙이는 연산 (ko)
konstruksi yang memungkinkan seseorang untuk \merekatkan\ beberapa objek terkait, cara yang tepat dari proses perekatan yang ditentukan oleh morfisme di antara objek (in)