да, в формальном виде понятно: не зависимо от того, населен или нет (A → B), стрелка в него существует. А как на голову надеть возможность выбрать какую-то (A → B) - вот это весело :) Видимо, как и с нулевыми стрелками в категориях, сам смысл стрелки охватить умом не получится - можно понять только в контексте композиции.