Documentation

Semifunctors map objects to objects, and arrows to arrows preserving connectivity
as normal functors, but do not purport to preserve identity arrows. We apply them
to semigroupoids, because those don't even claim to offer identity arrows!