In mathematics, a Γ-object of a pointed category C is a contravariant functor from Γ to C.

The basic example is Segal's so-called Γ-space, which may be thought of as a generalization of simplicial abelian group (or simplicial abelian monoid). More precisely, one can define a Gamma space as an O-monoid object in an infinity-category.[1] The notion plays a role in the generalization of algebraic K-theory that replaces an abelian group by something higher.

Notes

edit
  1. ^ Lurie, Remark 2.4.2.2.

References

edit
  • Lurie, J. "Higher Algebra" (PDF). last updated August 2017