In mathematics, specifically in homotopy theory in the context of a model category M, a fibrant object A of M is an object that has a fibration to the terminal object of the category.