The following pages link to Zoran Petrić (Q383358):
Displaying 50 items.
- Graphs of plural cuts (Q383359) (← links)
- Intermutation (Q421481) (← links)
- Coherence for modalities (Q531368) (← links)
- Hypergraph polytopes (Q554398) (← links)
- Medial commutativity (Q882124) (← links)
- Equality of proofs for linear equality (Q944225) (← links)
- Coherence in linear predicate logic (Q1011758) (← links)
- G-dinaturality. (Q1400601) (← links)
- Self-adjunctions and matrices. (Q1408350) (← links)
- Coherence in substructural categories (Q1604796) (← links)
- The \(n\)-fold reduced bar construction (Q1793958) (← links)
- Bicartesian coherence (Q1850951) (← links)
- Syntax for split preorders (Q1942041) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Proofs and surfaces (Q2195640) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- A faithful 2-dimensional TQFT (Q2284297) (← links)
- A simple permutoassociahedron (Q2329174) (← links)
- Ordinals in Frobenius monads (Q2376533) (← links)
- On stretching the interval simplex-permutohedron (Q2441568) (← links)
- Coherence for star-autonomous categories (Q2498908) (← links)
- (Q2707078) (← links)
- (Q2724040) (← links)
- Symmetric Self-adjunctions and Matrices (Q2876730) (← links)
- (Q3007258) (← links)
- (Q3069372) (← links)
- Bicartesian Coherence Revisited (Q3070758) (← links)
- Isomorphic formulae in classical propositional logic (Q3117775) (← links)
- (Q3153288) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- (Q3376920) (← links)
- A NEW PROOF OF THE FAITHFULNESS OF BRAUER'S REPRESENTATION OF TEMPERLEY–LIEB ALGEBRAS (Q3421605) (← links)
- A Planarity Criterion for Graphs (Q3452159) (← links)
- (Q3510438) (← links)
- Coherence for monoidal endofunctors (Q3583019) (← links)
- Coherence for monoidal monads and comonads (Q3583020) (← links)
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
- Isomorphic objects in symmetric monoidal closed categories (Q4379681) (← links)
- (Q4436028) (← links)
- A Brauerian representation of split preorders (Q4452452) (← links)
- On permuting cut with contraction (Q4487267) (← links)
- Kauffman Monoids (Q4541082) (← links)
- Spheres as Frobenius objects (Q4577992) (← links)
- A note on semisymmetry (Q4609186) (← links)
- Shuffles and concatenations in the construction of graphs (Q4649460) (← links)
- The geometry of self-adjunction (Q4831851) (← links)
- The Typed Böhm Theorem (Q4916173) (← links)
- Coherence of proof-net categories (Q4928272) (← links)
- Weak Cat-Operads (Q5246715) (← links)
- Segal’s multisimplicial spaces (Q5278471) (← links)
