12 Mar
2012
12 Mar
'12
5:32 a.m.
On Mon, Mar 12, 2012 at 2:53 AM, Mario Blažević
May I enquire what was the reason for the non-termination of idP? Why was it not defined as 'forP yield' instead? The following command runs the way I expected.
The identity in a homset is unique, and in the case of 'Pipe a b m r', it happens to be 'idP'. 'forP yield' has its uses, but, as Chris showed, it's not a real identity. BR, Paolo