Projections

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Any geometric object $$\mathbf x$$ can be projected onto another geometric object $$\mathbf y$$ of higher grade by first calculating the connect of $$\mathbf x$$ with $$\mathbf y$$ and then using the meet operation to intersect the result with $$\mathbf y$$. That is, the projection of $$\mathbf x$$ onto $$\mathbf y$$ is given by
$$(\mathbf y^* \wedge \mathbf x) \vee \mathbf y$$ .