Abstract calculus : a categorical approach /: a categorical approach. (2021)