Fibrant object

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.

Properties

The fibrant objects of a closed model category are characterized by having a right lifting property with respect to any trivial cofibration in the category. This property makes fibrant objects the "correct" objects on which to define homotopy groups. In the context of the theory of simplicial sets, the fibrant objects are known as Kan complexes after Daniel Kan. They are the Kan fibrations over a point.

Dually is the notion of cofibrant object, defined to be an object $c$ such that the unique morphism $\varnothing \to c$ from the initial object to $c$ is a cofibration.

gollark: One person to manage emojis, one to view audit logs, one to be able to assign roles, etc.

gollark: To ensure proper distribution of powers, you should have many submods with one permission each.

gollark: The best form of government is of course anarchototalitarianism.

gollark: No, it's a reference to potatOS.

gollark: What?

References

P.G. Goerss and J.F. Jardine, Simplicial Homotopy Theory, Progress in Math., Vol. 174, Birkhauser, Boston-Basel-Berlin, 1999. ISBN 3-7643-6064-X.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.