Live briefing
Everything about Representable functor
Functor type
In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures allowing one to utilize, as much as possible, knowledge about the category of sets in other settings. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Representable functorA 5-minute orientation
- Pick up a classic book: Rational representation, the Steenrod algebra and functor homologyThe most-reprinted book on the subject
- Read the landmark paper: REPRESENTABLE FUNCTORS, SERRE FUNCTORS, AND MUTATIONSCited 131 times
- Go sideways: Glossary of category theoryA closely related topic
- Go sideways: Limit (category theory)A closely related topic
📖 Definitions
Noun A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.
🏆 Landmark papers (most cited)
REPRESENTABLE FUNCTORS, SERRE FUNCTORS, AND MUTATIONS
Radical layers of representable functors
A representable functor theorem for compact analytic spaces and applications
Relative functor representability
A Representable Functor Theorem for Compact Analytic Spaces and Applications
Representable Functors for Corings
📚 Books worth reading
Rational representation, the Steenrod algebra and functor homologyVincent Franjou · 2003- 📕Surveys in Representation Theory of AlgebrasAlex Martsinkovsky, Kiyoshi Igusa · 2018
- 📕Hopf algebras and tensor categoriesConference on Hopf Algebras and Tensor Categories (2011 University of Almeria) · 2013
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Glossary of category theory This is a glossary of properties and concepts in category theory in mathematics, including those in topos theory. (See also Outline of category theory…
- Limit (category theory) In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products…
- Functor In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic…
- Presheaf (category theory) In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm…
- Yoneda lemma The Yoneda lemma is a fundamental result in category theory, a branch of mathematics. It is an abstract result on functors of the type morphisms into a…
- Adjoint functors In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalenc…
- Fibred category Fibred categories (or fibered categories) are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the…
- Direct image functor In mathematics, the direct image functor describes how structured data assigned to one space can be systematically transferred to another space using a…