Canonical morphisms left module operad

Notation 19.4.1. In the \(\infty \)-category \(\oLMod ^{\otimes }\), we have the following two ‘canonical’ morphisms \((\{\fa \},\{\fm \}) \to \{\fm \}\):

• The ‘projection map’ \(\pr \colon (\{\fa \},\{\fm \}) \to \{\fm \}\), given by the span \[ \{\fa \} \sqcup \{\fm \} \hookleftarrow \{\fm \} \xrightarrow {=} \{\fm \}. \]
• The ‘action map’ \(\act \colon (\{\fa \},\{\fm \}) \to \{\fm \}\), given by the span \[ \{\fa \} \sqcup \{\fm \} \xleftarrow {=} \{\fa \} \sqcup \{\fm \} \to \{\fm \}. \]