2012-11-12 15:20:42 +00:00
|
|
|
<h2>Plan</h2>
|
|
|
|
|
<ul style="font-size: 2em; font-weight:bold">
|
2012-12-11 14:07:13 +00:00
|
|
|
<li>General overview</li>
|
|
|
|
|
<li>Definitions</li>
|
|
|
|
|
<li><span class="yellow">Applications
|
|
|
|
|
<ul class="base01" style="border-left: 2px solid; padding-left: 1em; font-size: .6em; float: right; font-weight: bold; margin: -4em 0 0 1em">
|
2012-11-12 15:20:42 +00:00
|
|
|
<li>\(\Hask\) category
|
|
|
|
|
</li><li> Functors
|
2012-12-11 14:07:13 +00:00
|
|
|
</li><li> Natural transformations
|
2012-11-12 15:20:42 +00:00
|
|
|
</li><li> Monads
|
|
|
|
|
</li><li> κατα-morphisms
|
|
|
|
|
</li></ul>
|
|
|
|
|
</li>
|
|
|
|
|
</ul>
|
