Subject: categories: A short question about lax-natural transformations

From: Lars Lindqvist <[email-masked]>
Date: Sun, 7 Feb 1999 12:49:22 +0100 (MET)

Hi,

In a lax-natural transformation F->G:A->B the 'lax' naturality condition is
expressed in terms of a natural transformation tau:B(n(a),1);G(a,b)->B(1,n(b));F(a,b)
for 0-cells a,b:A. Is there some good reason why tau is in this direction and not
the opposite?

/Lars Lindqvist