Skip to main content
http -> https (the question was bumped anyway)
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Pretty much anyone who does algebra is familiar with group objects in categories, but what about cogroup objects? Most of what I've been able to find about them is that they "arise naturally in algebraic topology" (from wikipediawikipedia) and that, somehow, the n-sphere is one (nLabnLab's meager entry). Is there a reference for more on the stuff? Specifically wondering if the spaces of pointed maps from a topological space X to a pointed sphere are cogroups, and if anything is known about these "cohomotopy groups."

Pretty much anyone who does algebra is familiar with group objects in categories, but what about cogroup objects? Most of what I've been able to find about them is that they "arise naturally in algebraic topology" (from wikipedia) and that, somehow, the n-sphere is one (nLab's meager entry). Is there a reference for more on the stuff? Specifically wondering if the spaces of pointed maps from a topological space X to a pointed sphere are cogroups, and if anything is known about these "cohomotopy groups."

Pretty much anyone who does algebra is familiar with group objects in categories, but what about cogroup objects? Most of what I've been able to find about them is that they "arise naturally in algebraic topology" (from wikipedia) and that, somehow, the n-sphere is one (nLab's meager entry). Is there a reference for more on the stuff? Specifically wondering if the spaces of pointed maps from a topological space X to a pointed sphere are cogroups, and if anything is known about these "cohomotopy groups."

removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 285

Cogroup Objectsobjects

Source Link
Charles Siegel
  • 16k
  • 8
  • 89
  • 134

Cogroup Objects

Pretty much anyone who does algebra is familiar with group objects in categories, but what about cogroup objects? Most of what I've been able to find about them is that they "arise naturally in algebraic topology" (from wikipedia) and that, somehow, the n-sphere is one (nLab's meager entry). Is there a reference for more on the stuff? Specifically wondering if the spaces of pointed maps from a topological space X to a pointed sphere are cogroups, and if anything is known about these "cohomotopy groups."