All Questions
1 question
1
vote
0
answers
22
views
Are the categories of definable dinatural transformations freely generated from discrete graphs?
It is well known that the dinatural transformations between multivariant functors defined in Functorial polymorphism don't form a category, because they do not compose in general, but some do. For any ...
