7 Dec
2005
7 Dec
'05
11:58 a.m.
jean benabou wrote in part:
(1) - Is there a standard name for the squares where the canonical map is monic , i.e. the pair of maps A --->B and A --->C is jointly monic. I propose semi-pullback
How about "sub-pullback"? since it is a sub-object of the pullback (if there is one). -- Toby