Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
drawing_arrows_and_coding_functions [2016/10/14 09:24]
nikolaj [Guide]
drawing_arrows_and_coding_functions [2016/10/15 14:42]
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"​. ​
Line 37: Line 12:
 == The type Type == == The type Type ==
 We draw graph pictures that display parts of our type system. ​ We draw graph pictures that display parts of our type system. ​
 +
 +>Make a more elaborate picture with a circle and some element, and an outer circle for Type.
 +>Later, draw a similar picture wiht a function (+ element wise maps of it)
 +>
 +
 E.g. the type of integers are part of our system and may we draw the vertex E.g. the type of integers are part of our system and may we draw the vertex
 $$ $$
Link to graph
Log In
Improvements of the human condition