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.
Created lax F-natural transformation and lax F-adjunction in order to record the fact that F-categories give an abstract context in which to formulate Johnstone’s definition of fibration in a 2-category.
I cleaned up the references at fibration in a 2-category, adding links etc.
1 to 2 of 2