Skip to main content
Rollback to Revision 1
Source Link
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

Added a link to the argument in MacLane, hosted on Andrew Ranicki’s website
Source Link

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.

Source Link
Leonid Positselski
  • 15.6k
  • 1
  • 57
  • 95

In MacLane's "Categories for the Working Mathematician", in the end of section VII.1 there is an argument due to Isbell proving that one cannot strictify a monoidal category by replacing it with its skeleton.

Generally, I would say that all one can achieve by replacing a category with its skeleton is replacing natural isomorphisms with much less natural automorphisms.