Pages that link to "Item:Q2498908"
From MaRDI portal
The following pages link to Coherence for star-autonomous categories (Q2498908):
Displaying 13 items.
- Intermutation (Q421481) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Nonsymmetric \(^{\ast}\)-autonomous categories (Q673964) (← links)
- Closed categories, star-autonomy, and monoidal comonads (Q834844) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- (Q3413926) (← links)
- On conditions of full coherence in biclosed categories: A new application of proof theory (Q3972526) (← links)