Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Asked a question at natural transformation.
I added a quick reply.
Todd has indicated the characterization of natural transformations in terms of the cartesian closed monoidal structure on Cat in the discussion section.
I have now created a subsection in the main body of the entry on this perspective.
Also at ericforgy:Natural Transformation.
I proposed a definition for something at natural transformation. What is a good (or existing) name for it?
replied further in the discussion there.
I think we are talking here really about the operation that takes a 2-category to a double category. We should draw the relevant diagrams at double category, eventually.
Okay, fixed.
Thanks!
1 to 9 of 9