Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
drawing_arrows_and_coding_functions [2016/10/14 09:24] nikolaj [Guide] |
drawing_arrows_and_coding_functions [2016/10/15 14:23] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| | [[Outline]] $\blacktriangleright$ Drawing arrows and coding functions $\blacktriangleright$ [[A type system as a model for some concepts]] | | | [[Outline]] $\blacktriangleright$ Drawing arrows and coding functions $\blacktriangleright$ [[A type system as a model for some concepts]] | | ||
| ==== Guide ==== | ==== Guide ==== | ||
| - | == What will eventually be used here == | ||
| - | |||
| - | >move to former page | ||
| - | Four languages: | ||
| - | |||
| - | - proper cat'ish drawing | ||
| - | |||
| - | $$ | ||
| - | \require{AMScd} | ||
| - | |||
| - | \begin{CD} | ||
| - | {\large\hbar} @>{\large{!}}>> {\large{*}} | ||
| - | \\ | ||
| - | @V{{\large{m}}}VV @VV{{\large\top}}V | ||
| - | \\ | ||
| - | {\large\heartsuit} @>>{\large{\chi}}> {\large{\Omega}} | ||
| - | \end{CD} | ||
| - | $$ | ||
| - | |||
| - | - drawing where you see terms, circled (the type universe is circled as well) | ||
| - | |||
| - | - typey syntax | ||
| - | |||
| - | - FOL/SOL | ||
| - | |||
| === Type system === | === Type system === | ||
| A main part of a type system is a collection of names that stand for so called types. We will draw a lot of simple pictures with those types "lying around". | A main part of a type system is a collection of names that stand for so called types. We will draw a lot of simple pictures with those types "lying around". | ||
