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!
Please, what you just added is the standard classical definition. This has nothing to do with HoTT. The edit should be reverted.
added pointer to:
1 to 18 of 18