Title: Some fundamental algebraic tools for the semantics of computation part 3: Indesced Categories