Pronađeno 4 rezultata za: "kompozabilni par morfizama"
par morfizama $(g,f)$ u kategoriji $C$ za koje je domena od $g$ jednaka kodomeni od $f$ pa je definirano komponiranje morfizama $g\circ f$
kategorija $C^{\mathrm{op}}$ čija se klasa objekata sastoji od točno jedne kopije $x^{\mathrm{op}}$ svakoga objekta $x$ početne kategorije $C$, morfizmi $f:a\to b$ u $C$ su u bijekciji s morfizmima $f^{\mathrm{op}}:b^{\mathrm{op}}\to a^{\mathrm{op}}$, …