All Questions
1 question with no upvoted or accepted answers
2
votes
0
answers
69
views
Pullbacks in Cat in a 2-dimensional sense
$\newcommand\Fib{\mathrm{Fib}}\newcommand\Cat{\mathrm{Cat}}\newcommand\OpF{\mathrm{OpF}}\DeclareMathOperator\cod{cod}$In proving that a codomain functor from the 2-category $\Fib$ to $\Cat$ is a 2-...
- 615