This question is answered in the affirmative in the following preprint: https://arxiv.org/abs/2010.13361 The morphisms are represented by so-called proof sheets.