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.
1 to 5 of 5