|
|
|
|
|
|
by eli_gottlieb
1964 days ago
|
|
|
Well yeah, because category theory studies composition. That's what it's for. That's why a category is defined the way it is: a bunch of objects, identity arrows from each to itself, and arrows between them, which enjoy an associative composition operator. |
|
|