instRespectsOfRespectsLeftOfRespectsRight

English

If P and Q are morphism properties and P respects Q on the left and on the right, then P respects Q.

Русский

Если свойства морфизмов P и Q удовлетворяют условиям уважения слева и справа относительно Q, то P уважает Q.

LaTeX

$$$[P\RespectsLeft Q] \land [P\RespectsRight Q] \Rightarrow P\Respects Q$$$

Lean4

instance (P Q : MorphismProperty C) [P.RespectsLeft Q] [P.RespectsRight Q] : P.Respects Q where

Похожие утверждения