and they always use confusing category theory terminology