Expand page with missing data

[ScriptRaccoon]

The page with missing data /missing now also shows

• the functors with unknown properties (currently none 🎉)
• undistinguishable functor pairs (e.g. forgetful functor for groups ≈ forgetful functor for vector spaces)
• missing functor combinations of the form p ∧ ¬q (e.g. full ∧ ¬faithful)

These were already shown for categories before. The render logic for categories and functors on that page also has been unified.

The missing functor combinations (currently: 18) are a good indicator which functors should be added next.

• cocontinuous ∧ ¬left adjoint
• conservative ∧ ¬faithful
• continuous ∧ ¬right adjoint
• equivalence ∧ ¬representable
• exact ∧ ¬faithful
• full ∧ ¬conservative
• full ∧ ¬faithful
• full ∧ ¬preserves coequalizers
• full ∧ ¬preserves coreflexive equalizers
• full ∧ ¬preserves epimorphisms
• full ∧ ¬preserves equalizers
• full ∧ ¬preserves initial objects
• full ∧ ¬preserves monomorphisms
• full ∧ ¬preserves reflexive coequalizers
• full ∧ ¬preserves terminal objects
• preserves coequalizers ∧ ¬preserves epimorphisms
• preserves equalizers ∧ ¬preserves monomorphisms
• representable ∧ ¬right adjoint