Text this: Categorical Proof Theory of Co-Intuitionistic Linear Logic