Full Subcategory: Ban_k ⊊ Ste

Ban_k is a full subcategory of Ste. When any two stereotype spaces of Ste are Banach spaces over fields k in Ban_k, all continuous maps between them are short linear maps in Ban_k too. Put another way, Ban_k has only some of the objects of Ste, but all of the arrows.

In terms of stuff, structure, and properties, Banach spaces over fields k are like stereotype spaces but with extra properties.

full_subcategories: Ban_k, Ste

This data as json