|
2 | further language/style changes | ||
|
"The image of a category by under a functor is a category." It This is a small one, but it lasted for six months when I was starting in category theory. A counter example exists in finite case ( counterexample exists, with just 3 objectsonly) , . Even under a connectivity requirement, a small finite counter example exist as wellcounterexample still exists. In fact, it is dead wrong to thing think anything like thatthis holds. |
||||
|
|
1 | [made Community Wiki] | ||
|
"The image of a category by a functor is a category." It is a small one but it lasted for six months when starting in category theory. A counter example exists in finite case ( 3 objects only) , under a connectivity requirement a small finite counter example exist as well. In fact it is dead wrong to thing like that. |
||||
