Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2064083637
@@ Property / OpenAlex ID: W2064083637 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2954
@@ Property / arXiv ID: 0906.2954 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated monoidal categories
@@ Property / cites work: Iterated monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3097395
@@ Property / cites work: Q3097395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2707078
@@ Property / cites work: Q2707078 / rank @@
+Normal rank
@@ Property / cites work @@
+Generality of proofs and its Brauerian representation
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411254
@@ Property / cites work: Q5411254 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for modalities
@@ Property / cites work: Coherence for modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Bicartesian Coherence Revisited
@@ Property / cites work: Bicartesian Coherence Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Intermutation
@@ Property / cites work: Intermutation / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinals in Frobenius monads
@@ Property / cites work: Ordinals in Frobenius monads / rank @@
+Normal rank
@@ Property / cites work @@
+Functors between tensored categories
@@ Property / cites work: Functors between tensored categories / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in closed categories
@@ Property / cites work: Coherence in closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5654207
@@ Property / cites work: Q5654207 / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3368182
@@ Property / cites work: Q3368182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5655527
@@ Property / cites work: Q5655527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicial methods for operads and algebraic geometry. Edited by Carles Casacuberta and Joachim Kock
+Normal rank
@@ Property / cites work @@
+Coherence in substructural categories
@@ Property / cites work: Coherence in substructural categories / rank @@
+Normal rank
@@ Property / cites work @@
+Categories and cohomology theories
@@ Property / cites work: Categories and cohomology theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665322
@@ Property / cites work: Q5665322 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy colimits in the category of small categories
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank