Lax definitions replace isomorphism requirements by one-directional morphism requirements.
@dogodel there is, the next step is mere correspondence instead of unidirectional arrow. https://ncatlab.org/nlab/show/span
-
-
@dogodel The abstract way to generalize this is by using various notions of fibration, though https://ncatlab.org/nlab/show/Cartesian+fibration#cartesian_fibrations_over_one_morphism_and_adjunctions …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.