## § Index over the past, fiber over the future

• indexed view corresponds to check
• fibered corresponds to infer: given a term, tell me the type of the term?
• Some talk by conor at topos.