I'm a little bit of a newbie to TCA and category theory as well as to type algebra. So this might be kind of a newbie question. From what I understand pullbacks are just a function that allows us to convert a local reducer into a global one. I'm wondering what is the relationship between a pullback in TCA and a pullback in category theory. Would like to understand these concepts better to better understand TCA design.