Parametrized higher category theory and higher algebra: A general introduction · wovepaper