categorical_structure: Ab, pullback

This data as json

category construction
Ab pullback