Manuscript IX-B-ST@1 · IX-B-ST.tex · section · f6af1523
Prescribed cone and supported regular laboratory
Prescribed cone and supported regular laboratory · lines 383–388
This is the fixed-host distinction also documented in VIII-ST STInterfaces.
Nearby in this section
- section: Prescribed cone and supported regular laboratory
- proposition: Proposition: The regular product is not globally hyperbolic
- definition: Definition: Supported developing laboratory
- section: Prescribed cone and supported regular laboratory
- proposition: Proposition: Use of the IX-A-ST saturation contract
- proposition: Proposition: Fixed host under catalogue replacement