Category: Mat_k

Mat_k is the category whose objects are the natural numbers and arrows are matrices over fields k.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: Mat_k

This data as json

name objects_hr arrows_hr
Mat_k the natural numbers matrices over fields k

Links from other tables