Blog

I am interested in the following property, be it on an abstract or concrete category: $ A$ is a substructure of $ B$ such that every automorphism of $ A$ extends uniquely to an automorphism of $ B$ . Or we can speak of an embedding $ \iota:A\rightarrow B$ such that for every automorphism $Read more