Candidates for categorical-algebra

No candidates exist for categorical-algebra. Upload one for this or another package?