Are monoidal fibrations instances of 2-fibrations?

Published: February 16, 2018