오페라드 대수

대수학에서 오퍼라드 대수학은 오퍼라드에 대한 "알제브라"이다.그것은 연산자가 R을 대체하는 것과 함께, 정류 링 R에 대한 연관 대수학의 일반화다.

정의들

피연산자 O(예를 들어 대칭 단면체 ∞-범주 C의 대칭 시퀀스)가 주어질 경우, 피연산자 위의 대수 또는 줄여서 O-알지브라(O-algebra)는 대략적으로 O에 대한 왼쪽 모듈이다.

만약 O가 위상 연산자라면, 연산자 위의 대수학은 C에서 O-모노이드 물체라고 말할 수 있다.만약 C가 대칭 단면체라면, 이것은 일반적인 정의를 회복한다.

C는 단일 구조물이 콜리밋에 대해 분배되는 대칭 단면체 ∞ 범주가 되도록 한다.$f{\displaystyle }$: ${\displaystyle {}^{}}$→ O ${\displaystyle {\prime }^{}}$ ${\$$O\to O'}$은 오퍼레이터의 지도이며, 더욱이 f가 호모토피 동등성인 경우, C에서 O 이상의 알헤브라의 ∞ 범주는 C에서 O' 이상의 알헤브라의 ∞ 범주와 동일하다.^[1]

참고 항목

• 엔링
• 호모토피 리 대수

메모들

참조

• John Francis, ${\displaystyle E_{}}$ $n{\displaystyle {\mathcal{}}_{}}$ ${\$ - 링 위에$$ 파생 대수 기하학
• Hinich, Vladimir (1997-02-11). "Homological algebra of homotopy algebras". arXiv:q-alg/9702015.

외부 링크

• http://ncatlab.org/nlab/show/operad
• http://ncatlab.org/nlab/show/algebra+over+an+operad