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$
uređeni par $(F_0, F_1)$ za zadane kategorije $C$ i $D$, pri čemu je $F_0$ preslikavanje iz klase objekata kategorije $C$ u klasu objekata kategorije $D$, $F_1$ preslikavanje iz klase morfizama …
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}}$, …