その原理と基本的な考え方、
圏論で表せないかな?