λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895

Faithful generation cannot be skipped

Finite futures, three-relation typing, and cone obstructions › Faithful generation cannot be skipped · lines 1355–1371

Back to manuscript

A faithful generated affine representation of an event poset is an injective $ι : E \to V$ and a closed pointed full-dimensional cone $K$ satisfying

p ⪯ q ⟺ ι (q) - ι (p) \in K,

V = span {ι (q) - ι (p) : p, q \in E}, K = cone {ι (q) - ι (p) : p ≺ q} .

Displayed formulas in this passage

unlabeled · line 1360
$p ⪯ q ⟺ ι (q) - ι (p) \in K,$
unlabeled · line 1365
$V = span {ι (q) - ι (p) : p, q \in E}, K = cone {ι (q) - ι (p) : p ≺ q} .$

Nearby in this section