CatDat

Implication Details

Claim: If a category is Barr-exact and is self-dual, then it is Barr-coexact.

Proof: This holds by self-duality.