ncatlab.org

injective presentation in nLab

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |

Contents

Context

Category theory

category theory

Concepts

  • category

  • functor

  • natural transformation

  • Cat

Universal constructions

  • universal construction

    • representable functor

    • adjoint functor

    • limit/colimit

    • weighted limit

    • end/coend

    • Kan extension

Theorems

  • Yoneda lemma

  • Isbell duality

  • Grothendieck construction

  • adjoint functor theorem

  • monadicity theorem

  • adjoint lifting theorem

  • Tannaka duality

  • Gabriel-Ulmer duality

  • small object argument

  • Freyd-Mitchell embedding theorem

  • relation between type theory and category theory

Extensions

  • sheaf and topos theory

  • enriched category theory

  • higher category theory

Applications

  • applications of (higher) category theory

Edit this sidebar

Contents

  • Idea
  • Related concepts

Idea

The dual notion of projective presentation.

Related concepts

  • projective object, projective presentation, projective cover, projective resolution

    • projective module

  • injective object, injective presentation, injective envelope, injective resolution

    • injective module

  • free object, free resolution

    • free module

  • flat object, flat resolution

    • flat module

Last revised on September 4, 2012 at 20:33:39. See the history of this page for a list of all contributions to it.

EditDiscussPrevious revisionChanges from previous revisionHistory (1 revision) Cite Print Source

    Remove distractions. Save for later.
    Hand-crafted with by Ayo Ayco
    Blog • SourceHut • Mastodon
    Bad-Baboon
    All rights reserved to content owners.