Pages that link to "Item:Q2200954"
From MaRDI portal
The following pages link to Coherence for closed categories with biproducts (Q2200954):
Displaying 16 items.
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- On the conditions of full coherence in closed categories (Q757581) (← links)
- Interpolation property for bicartesian closed categories (Q1337501) (← links)
- Coherent homotopical algebras: ``Special gamma-categories'' (Q1372683) (← links)
- Coherence completions of categories (Q1575878) (← links)
- Coherence of associativity in categories with multiplication (Q1779460) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Finite products are biproducts in a compact closed category (Q2457284) (← links)
- Compact closed bicategories (Q2826239) (← links)
- (Q3413926) (← links)
- On conditions of full coherence in biclosed categories: A new application of proof theory (Q3972526) (← links)
- On conditions of total coherence in closed categories (Q3974848) (← links)
- (Q4436028) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- (Q5364140) (← links)
- A graphical language for quantum protocols based on the category of cobordisms (Q6642017) (← links)