Definition talk:Operation Induced by Injection

From ProofWiki
Jump to navigation Jump to search

"Is the above link it?"

I don't think so. That notion is the pullback in the category of groups, I think (or a special case of it). There has come reason for me to suspect this construct is not to be called 'pullback' at all, but rather 'transport' or st. similar. I have no backing literature. --Lord_Farin (talk) 21:26, 10 October 2012 (UTC)