--- date: 2022-04-01 09:41 modification date: Friday 1st April 2022 09:41:02 title: "pushforward" aliases: [right derived pushforward] --- Last modified date: <%+ tp.file.last_modified_date() %> --- - Tags - #todo/untagged - Refs: - #todo/add-references - Links: - #todo/create-links --- # pushforward Idea: for $f:X\to Y$, $\RR f_*$ measures $H_n(f\inv(U))$ for $U\subseteq Y$ open.