Title: Indexed Categories and Their Applications