005-代数结构

• 集合式结构
• 函子与提升
• 应用函子与Alternative
• 变型函子
• 单子与余单子
• 自由单子与单子变换器
• 折叠与遍历