Categorical pullback

Summary