3
I'm learning about intersection homology, and I'm trying to write a proof of this statement: Take X,Y two filtered spaces with perversities $p$ and $q$ resp. , a continuous function $f:X\to Y$ such that for all stratum $S$ of Y, there is a strata $S^f$ of Y such that $f(S)\subset S^f$ and $codim...