# [solved] definice typu

<{ForumPost(poster="Him", timestamp=2009-09-05 15:32:09)}>
Na str. 20 [skript](http://kam.mff.cuni.cz/~pultr/ms.pdf) je definice "typu" jakozto: soubor $\Delta = (\Delta_t)_{t \in T}$  
Dále je tam napsáno, že $\Delta_t$ jsou množiny. Nikde se však již neříká, co v těch množinách je.   
  
Proto moc nerozumím na str. 22 části definice podobjektu a to: $R_{Y,t} = \{\xi: \Delta_t \rightarrow Y | j\xi \in R_T\}$  
  
Nevěděl by někdo? Díky
<{/ForumPost}>

<{ForumPost(poster="Osiris", timestamp=2009-09-05 16:28:34)}>
To je abstraktní algebra. Představ si, že T je seznam operací (+,-, krát, děleno, cokoliv tě napadne) přičemž operací může být nekonečně mnoho. Jednotlivé $\Delta_t$ pak reprezentují aritu operace.
<{/ForumPost}>

<{ForumPost(poster="Him", timestamp=2009-09-05 16:34:22)}>
aha, díky, už jsem pochopil
<{/ForumPost}>