MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We can interpret a profunctor $F:C^{\mbox{op}}\times D \to \mbox{Set}$ between small categories as adjoining some morphisms to the category $C \cup D$ to get a new category $\tilde{F}$. Then a natural transformation between profunctors $F, G$ can be seen as a functor between $\tilde{F}, \tilde{G}$. We can also look at profunctors between $\tilde{F}, \tilde{G}$, but I don't know what such things are called--searching Google for "pronatural transformation" gives no hits, and "natural pro-transformation" gives a single hit, S. Yokura's paper. Nothing for "cocontinuous natural transformation" or "natural cocontinuous transformation" either.

Are these studied under some other name?

share|cite|improve this question
    
I found renyi.hu/~aladar/MrtCtx.pdf which unfortunately seems to use funny terminology. He calls the collage of a profunctor a directed bridge, and talks about morphisms of bridges, which correspond to natural transformations. Also www.dima.unige.it/~grandis/Dbl.Cahiers.pdf may be helpful. – David Roberts Jan 1 '11 at 4:45

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.