Fibred natural transformations are natural transformations between fibred functors. They are 2-cells in the 2-category .
Given fibrations and and fibred functors , a fibred natural transformation is a pair of 2-cells as follows: This means , and .
When looking at fibrations over a fixed base , then , and also is the identity natural transformation. In that case, reduces to a natural transformation between the functor and whose components are vertical, i.e. stay in the fibers.
Last revised on December 12, 2023 at 00:09:43. See the history of this page for a list of all contributions to it.