Categorical Probability For Abstracting Filtering Algorithms On Stochastic Dynamical Systems