text: В категории множеств расслоённое произведение множеств X {\displaystyle X} и Y {\displaystyle Y} с отображениями f : X → Z {\displaystyle f:X\to Z} и g : Y → Z {\displaystyle g:Y\to Z} — это множество X × Z Y = { ( x , y ) ∈ X × Y | f ( x ) = g ( y ) } {\displaystyle X\times _{Z}Y=\{(x,y)\in X\times Y|f(x)=g(y)\}} вместе с естественными проекциями на компоненты.