벡터 공간: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
||
105번째 줄:
** [[영 대상]]은 0차원 벡터 공간 <math>\{0\}</math>이다.
* 직합 말고도, [[텐서곱]] <math>V\otimes W</math>을 가지며, 이에 따라 <math>\operatorname{Vect}_K</math>는 [[대칭 모노이드 범주]]를 이룬다. 텐서곱의 항등원은 1차원 벡터 공간 <math>K</math>이다.
* 집합으로의 망각 함자 <math>F\colon\operatorname{Vect}_K\to\operatorname{Set}</math>, <math>(V,+,\cdot)\mapsto V</math>가 존재하며, 이에 따라서 [[구체적 범주]]를 이룬다. 망각 함자는 [[
=== 모형 이론적 성질 ===
| |||