Call two functors two functors $H,H':S\longrightarrow T$ weakly equivalent, or equivalent up to a self-equivalence of the source category, iff there exists a self-equivalence of $ …

As we read from wiki, informally, the reconstruction conjecture in graph theory says that graphs are determined uniquely by their subgraphs. Is there a group-theoretic formulatio …