Dodatky ke cvičení 8 a 9 z M3110, podzim 2024 Příklad 8/5. Z univerzální vlastnosti dokažte, že ^i^j2učin j
je asociativní.
(a
^7
(ski) f tíi (fj) 1* y^fal) fí^^ ^
^oíaí^    W^tW'    r;  14(9 V® W ~?((4® V) & %4
%6-
Příklad 9/7. Definujte zobrazení evaluace e : U* <g> U -> K a zobrazení J : K -4 C/ ® U* Spočtěte pro ně složení
(id®e) o (<5® id) : U ^ U,   a   (e <g> id) o (id<g>£) : U* -> U*. Znázorněte graficky.
id # £
M
(4
( -1
- 1
c
3
Příklad 9/navíc. Rozluštěte, co znamenají následující obrázky.
-?
% c-<2-
- #iiA4As t/f
'-4
i =4
6
í- 4
Příklad 9/ještě jeden. Namalujte graficky definici adjungo váného zobrazení^* : V* —> U* k zobrazení ip : U ->• V. Pro všechna u e U a g e V* platí
Pomocí toho a příkladu 9/7 napište ^* jako složené zobrazení.     \úro   CP '■ \A~"7 U „
U*       _ í/*
—^iF7-\
u
M
u
M
M
£
C!
4
■k