Точность функтора не требует обязательного наличия дополнительных морфизмов, главное чтобы каждый биологический морфизм однозначно отображался в физический. Но вы правы, некая корявость имеется. Я пока не могу ее уловить. Странно, что нет наглядных дополнительных морфизмов. Тут скрыта какая-то правда.