Implication Details
Claim: If a category is accessible and is self-dual, then it is coaccessible.
Proof: This holds by self-duality.
Show 6 categories using this implication
- category of finite-dimensional vector spaces
- category of finite-dimensional vector spaces [countable field]
- category of finite-dimensional vector spaces [finite field]
- category of finite-dimensional vector spaces [uncountable field]
- category of finitely generated projective modules over the ring of dual numbers
- category of non-empty sets