Skip to main content
2 of 3
deleted 337 characters in body
o a
  • 468
  • 3
  • 7

functors unique up to self-equivalence of the source category

Say a functor is "well-defined up to a self-equivalence of the source category" by certain properties/definition/construction iff, well, for any two functors $H,H':S\longrightarrow T$ with satisfying these properties/definition/obtained by this construction, there exists a self-equivalence of $s:S \longrightarrow S$ such that functors $H$ and $H'\circ s$ are equivalent.

Is there a nice way to reformulate this property "a functor unique up to self-equivalence of the source category", say in the language of 2-categories?

Are there any interesting examples of properties/definitions/constructions NOT involving arbitrary choice and yet such that the functor is well-defined up to a self-equivalence of source category ?

I am mostly interested to see an "algebraic" definition of a functor between "algebraic" categories which is well-defined up to self-equivalence but not well-defined.

o a
  • 468
  • 3
  • 7