Category: Ban_k

Ban_k is the category whose objects are Banach spaces over fields k and arrows are short linear maps.

Facts Derived from Enrichment

Ban_k is a closed category (enriched in itself).

Every object in Ban_k is a Banach algebra (enriched in Ban_k).

Notable Subcategories


Has a terminal object


Has an initial object

categories: Ban_k

This data as json

name objects_hr arrows_hr
Ban_k Banach spaces over fields k short linear maps

Links from other tables