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.
I added the word “strict” here:
The theorem is then that the following are equivalent:
- $p$ is a strict Conduché functor.
- $p$ is exponentiable in the 1-category $Cat$.
- $p$ is exponentiable in the strict 2-category $Cat$.
because strict and weak Conduché functors are being distinguished in this article.
I don’t believe we usually add redirects for typos.
Would anyone object to renaming this page to “exponentiable functor” (which is one of the other terms mentioned on the page)? Although Conduché functor is used in the literature, “exponentiable functor” is more descriptive, and Conduché was not the first to consider such functors.
Renamed page to exponentiable functor, following no objections; the concept is not due to Conduché.
1 to 12 of 12