The following pages link to Coherence for modalities (Q531368):
Displaying 6 items.
- Coherence and consistency in domains (Q1262787) (← links)
- The \(n\)-fold reduced bar construction (Q1793958) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- COHERENCE (Q4552447) (← links)
- Coherence in Modal Logic (Q5224581) (← links)