Discrete Two-Sided Fibration
Questions
Is the pullback of a discrete two-sided fibration along a diagonal functor an
Isofibration
?
References
https://1lab.dev/Cat.Displayed.TwoSided.Discrete.html#discrete-two-sided-fibrations
Backlinks
Comma Category
Tensor Algebra