Good Fibrations
If you're asked to find the logarithm of a complex number, just do it! You should learn SageMath too :]
Welcome to op hell :)
- The op functor goes from Cat to Cat.
- The op functor on Delta swaps the arrows width-wise and reverses the ordering.
- The dual of the Grothendieck is not obtained by using C op, you have to also compose with the op functor.
- There are three ways to op a 2-category:
- Reverse the 1-cells but not the 2-cells.
- Reverse the 2-cells but not the 1-cells.
- Reverse both.