Thesis. About promonoidal categories and a fragment of linear logic without units. https://arxiv.org/pdf/1305.2231.pdf