Add the category of large families of vector spaces with ess. small support

[ScriptRaccoon]

This PR adds an example of a split abelian, complete and cocomplete category that does not have a generator (and no cogenerator). The category is Vect^(I) for a collection I that is not essentially small. Objects are I-indexed families of vector spaces whose support is essentially small (i.e. isomorphic to a set).

The number of missing combinations went down from 495 to 481.

Found 14 unique witnessed combinations by the supplied structures (Vect_family):

Directly witnessed:
- CIP ∧ ¬generating set
- CIP ∧ ¬generator
- exact filtered colimits ∧ ¬generating set
- split abelian ∧ ¬cogenerating set
- split abelian ∧ ¬cogenerator
- split abelian ∧ ¬extremal cogenerating set
- split abelian ∧ ¬extremal cogenerator
- split abelian ∧ ¬extremal generating set
- split abelian ∧ ¬extremal generator
- split abelian ∧ ¬generating set
- split abelian ∧ ¬generator

Dually witnessed:
- CSP ∧ ¬cogenerating set
- CSP ∧ ¬cogenerator
- exact cofiltered limits ∧ ¬cogenerating set