categorical_structure: FinSet, pullback

This data as json

category construction
FinSet pullback