Pages that link to "Item:Q3160565"
From MaRDI portal
The following pages link to Generality of proofs and its Brauerian representation (Q3160565):
Displayed 11 items.
- Coherence for modalities (Q531368) (← links)
- Medial commutativity (Q882124) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- Simplicial Endomorphisms (Q3514792) (← links)
- Spheres as Frobenius objects (Q4577992) (← links)
- REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965) (← links)