CatDat

Satisfied Properties

Assigned properties

• is essentially surjective
• preserves equalizers
• is conservative
• is a left adjoint
• is cofinitary

Deduced properties

• preserves coreflexive equalizers
• preserves monomorphisms
• is faithful
• is cocontinuous
• is finitary
• preserves coproducts
• is right exact
• is comonadic
• preserves finite coproducts
• preserves coequalizers
• preserves epimorphisms
• preserves initial objects
• preserves reflexive coequalizers

Unsatisfied Properties

Assigned properties

• does not preserve terminal objects
• is not essentially injective

Deduced properties*

• does not preserve finite products
• is not full
• is not left-invertible
• is not an equivalence
• does not preserve products
• is not left exact
• is not continuous
• is not exact
• is not a right adjoint
• is not representable
• is not monadic

*This also uses the deduced satisfied properties.