Homotopical Inverse Diagrams in Categories With Attributes