CatDat

Satisfied Properties

Properties from the database

• is essentially surjective
• is finite-product-preserving
• is a left adjoint

Deduced properties

• is terminal-object-preserving
• is cocontinuous
• is coequalizer-preserving
• is coproduct-preserving
• is finitary
• is finite-coproduct-preserving
• is initial-object-preserving
• is right exact
• is epimorphism-preserving

Unsatisfied Properties

Properties from the database

• is not conservative
• is not faithful
• is not full
• is not monomorphism-preserving
• is not product-preserving

Deduced properties*

• is not an equivalence
• is not continuous
• is not cofinitary
• is not a right adjoint
• is not monadic
• is not representable
• is not left exact
• is not exact
• is not equalizer-preserving
• is not comonadic

*This also uses the deduced satisfied properties.