圏論は実際に作れる簡単な例題がないのかな
C言語が得意な人向けの線形代数とかの入門書はたくさんあるんだけど