Manuscript IX-C-ST@1 · IX-C-ST.tex · section · 892f50c4
Covariance and old product
Shared analytical inputs and notation › Covariance and old product · lines 560–580
IX-C-ST@1#eq:Q, IX-C-ST@1#eq:Tself
These inputs retain the VII-C and IX-A-ST domain distinctions VIIC,IXAST; the functional microcausal convention is the one reviewed in FR. In particular does not imply .
The selected already admitted comparison outputs are
Their admission is the explicit selected-output input in Assumption ass:carrier, not closure under an unspecified new contraction.
Displayed formulas in this passage
IX-C-ST@1#eq:Q · line 568
IX-C-ST@1#eq:Tself · line 568