CatDat

Implication Details

Assumptions: locally presentableself-dual

Conclusions: thin

Reason: This follows from Adamek-Rosicky, Thm. 1.64.