범주론 다이어그램 테스트

G cluster_0 Man Category MAN cluster_1 Batman Category BAT Man Man Car Car Man->Car drive Batman Batman Man->Batman Bat-Functor Batcar Batcar Batman->Batcar Batdrive
3