Implication details
Claim: If a category is trivial, then it is a Grothendieck cotopos and is dually one-sorted finitary algebraic and is essentially discrete and is essentially finite and is self-dual and is split abelian.
Proof: This follows from the dual implication.
This implication has a dual.