004-范畴与态射

• 范畴与半群胚
• 态射与自然变换
• 递归模式