Implication Details

Assumptions: strongly connected, thin

Conclusions: locally cartesian closed

Reason: Each slice is thin, strongly connected, and has a terminal object. Every such category is cartesian closed, where the exponential a⇒ba \Rightarrow b (Heyting implication) is 11 when a≤ba \leq b and otherwise bb.