https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/<meta http-equiv='refresh' content='0;url=https://mchav.github.io/what-category-theory-teaches-us-about-dataframes/'>