Split extends Compose (semigroupoid), not Category -- there exist semigroupoids that are not categories but have products