결합 대수: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
37번째 줄:
즉, 결합 대수의 범주는 [[영 대상]]을 가지지만, 단위 결합 대수의 경우는 [[시작 대상]]과 [[끝 대상]]이 서로 다르다. 두 범주에서 곱은 서로 같으며, [[곱집합]]과 호환되지만, [[쌍대곱]]은 서로 다르다.
 
또한, (단위) 결합 대수의 범주에는 '''텐서곱''' <math>\otimes_R</math>이 존재한다존재하며, 이는 <math>R</math> 위의 [[가군]]의 [[텐서곱]]과 같다. 집합으로서이에 이는따라 단위 결합 대수의 범주는 [[대칭 모노이드 범주]]를 이룬다.
:<math>A\otimes_RB=\frac{A\times B}{(a,rb)\sim(ra,b)\forall r\in R}</math>
이다. 이에 따라 단위 결합 대수의 범주는 [[대칭 모노이드 범주]]를 이룬다.
 
=== 망각 함자 ===