Skip to main content
flesh out a little
Source Link
arsmath
  • 6.9k
  • 3
  • 38
  • 56

GeneralI think the argument for diffeological spaces is just that it eliminates certain kinds of pathological constructions that are possible with general sheaves, without costing you anything. General sheaves allow constructions that geometrically are sick and wrong. For example, you can define a sheaf that geometrically consists of two lines, so that every single point of the two lines are identified, but the two lines are still distinct. The "concrete" condition prevents that kind of pathology.

General sheaves allow constructions that are sick and wrong. For example, you can define a sheaf that geometrically consists of two lines, so that every single point of the two lines are identified, but the two lines are still distinct. The "concrete" condition prevents that kind of pathology.

I think the argument for diffeological spaces is just that it eliminates certain kinds of pathological constructions that are possible with general sheaves, without costing you anything. General sheaves allow constructions that geometrically are sick and wrong. For example, you can define a sheaf that geometrically consists of two lines, so that every single point of the two lines are identified, but the two lines are still distinct. The "concrete" condition prevents that kind of pathology.

Source Link
arsmath
  • 6.9k
  • 3
  • 38
  • 56

General sheaves allow constructions that are sick and wrong. For example, you can define a sheaf that geometrically consists of two lines, so that every single point of the two lines are identified, but the two lines are still distinct. The "concrete" condition prevents that kind of pathology.