Go back to the tag's page.
Tags: Added new tags
Base change map between right adjoints is iso Same three cases as in the case for schemes.
Compatibilities base change right adjoint pushfwd