圏論
#代数的構造
圏は
対象
とその
射
の集まり