準同型定理も知らない人間が圏をやっている現状。