というか、圏論、圏論てるんで、スレcategory-theoryにしてもええんちゃうかみたいなwww