{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T17:43:50Z","timestamp":1758476630918},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T00:00:00Z","timestamp":1370908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10485-013-9317-8","type":"journal-article","created":{"date-parts":[[2013,6,9]],"date-time":"2013-06-09T19:47:43Z","timestamp":1370807263000},"page":"467-499","source":"Crossref","is-referenced-by-count":2,"title":["Symmetric Bimonoidal Intermuting Categories and \u03c9 \u00d7 \u03c9 Reduced Bar Constructions"],"prefix":"10.1007","volume":"22","author":[{"given":"Zoran","family":"Petri\u0107","sequence":"first","affiliation":[]},{"given":"Todd","family":"Trimble","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,6,11]]},"reference":[{"key":"9317_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0001-8708(03)00065-3","volume":"176","author":"C Balteanu","year":"2003","unstructured":"Balteanu, C., Fiedorowicz, Z., Schw\u00e4nzl, R., Vogt, R.: Iterated monoidal categories. Adv. Math. 176, 277\u2013349 (2003)","journal-title":"Adv. Math."},{"key":"9317_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03521-2","volume-title":"Graph Theory with Applications","author":"JA Bondy","year":"1976","unstructured":"Bondy, J.A., Murty, U.S.R.: Graph Theory with Applications. North-Holland, Amsterdam (1976)"},{"key":"9317_CR3","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1002\/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-F","volume":"47","author":"K Do\u0161en","year":"2001","unstructured":"Do\u0161en, K., Petri\u0107, Z.: The maximality of cartesian categories. Math. Log. Q. 47, 137\u2013144 (2001)","journal-title":"Math. Log. Q."},{"key":"9317_CR4","doi-asserted-by":"crossref","first-page":"740","DOI":"10.2178\/jsl\/1058448435","volume":"68","author":"K Do\u0161en","year":"2003","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Generality of proofs and its Brauerian representation. J. Symb. Log. 68, 740\u2013750 (2003)","journal-title":"J. Symb. Log."},{"key":"9317_CR5","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Theoretical Coherence. KCL Publications (College Publications), London (2004) (revised version available at: http:\/\/www.mi.sanu.ac.rs\/~kosta\/coh.pdf )"},{"key":"9317_CR6","volume-title":"Proof-Net Categories","author":"K Do\u0161en","year":"2007","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Proof-Net Categories. Polimetrica, Monza (2007)"},{"key":"9317_CR7","doi-asserted-by":"crossref","first-page":"1606","DOI":"10.1016\/j.jpaa.2010.09.014","volume":"215","author":"K Do\u0161en","year":"2011","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Coherence for modalities. J. Pure Appl. Algebra 215, 1606\u20131628 (2011)","journal-title":"J. Pure Appl. Algebra"},{"key":"9317_CR8","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Bicartesian coherence revisited. In: Ognjanovi\u0107, Z. (ed.) Logic in Computer Science, Matemati\u010dki institut SANU, pp. 5\u201334 (2009)"},{"key":"9317_CR9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10485-010-9228-x","volume":"20","author":"K Do\u0161en","year":"2012","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Intermutation. Appl. Categ. Struct. 20, 43\u201395 (2012)","journal-title":"Appl. Categ. Struct."},{"key":"9317_CR10","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1016\/j.jpaa.2012.09.012","volume":"217","author":"K Do\u0161en","year":"2013","unstructured":"Do\u0161en, K., Petri\u0107, Z.: Ordinals in Frobenius monads. J. Pure Appl. Algebra 217, 763\u2013778 (2013)","journal-title":"J. Pure Appl. Algebra"},{"key":"9317_CR11","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01452242","volume":"1","author":"DBA Epstein","year":"1966","unstructured":"Epstein, D.B.A.: Functors between tensored categories. Invent. Math. 1, 221\u2013228 (1966)","journal-title":"Invent. Math."},{"key":"9317_CR12","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G Huet","year":"1980","unstructured":"Huet, G.: Confluent reductions: abstract properties and applications to term rewriting systems. J. Assoc. Comput. Mach. 27, 797\u2013821 (1980)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9317_CR13","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20\u201378 (1993)","journal-title":"Adv. Math."},{"key":"9317_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"GM Kelly","year":"1971","unstructured":"Kelly, G.M., Mac Lane, S.: Coherence in closed categories. J. Pure Appl. Algebra 1, 97\u2013140 (1971)","journal-title":"J. Pure Appl. Algebra"},{"key":"9317_CR15","series-title":"Notes in Mathematics","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/BFb0059557","volume-title":"Coherence in Categories","author":"GM Kelly","year":"1972","unstructured":"Kelly, G.M.: An abstract approach to coherence. In: Kelly, G.M., et al. (eds.) Coherence in Categories. Lecture Notes in Mathematics, vol. 281, pp. 106\u2013147. Springer, Berlin (1972)"},{"key":"9317_CR16","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF01703261","volume":"2","author":"J Lambek","year":"1968","unstructured":"Lambek, J.: Deductive systems and categories I: syntactic calculus and residuated categories. Math. Syst. Theory 2, 287\u2013318 (1968)","journal-title":"Math. Syst. Theory"},{"key":"9317_CR17","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/BFb0079385","volume-title":"Category Theory, Homology Theory and their Applications I","author":"J Lambek","year":"1969","unstructured":"Lambek, J.: Deductive systems and categories II: standard constructions and closed categories. In: Category Theory, Homology Theory and their Applications I. Lecture Notes in Mathematics, vol. 86, pp. 76\u2013122. Springer, Berlin (1969)"},{"key":"9317_CR18","first-page":"84","volume":"16","author":"AD Lauda","year":"2006","unstructured":"Lauda, A.D.: Frobenius algebras and ambidextrous adjunctions. Theory Appl. Categ. 16, 84\u2013122 (2006)","journal-title":"Theory Appl. Categ."},{"key":"9317_CR19","unstructured":"Mac Lane, S.: Natural Associativity and Commutativity, vol. 49, pp. 28\u201346. Rice University Studies, Papers in Mathematics (1963)"},{"key":"9317_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician, (expanded, 1998)","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the Working Mathematician, (expanded 2nd edn., 1998). Springer, Berlin (1971)","edition":"2"},{"key":"9317_CR21","unstructured":"Mints, G.E.: Category theory and proof theory (in Russian), Aktual\u2019nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev (1980), pp. 252\u2013278. English translation, with permuted title. In: Mints, G.E. (ed.) Selected Papers in Proof Theory. Bibliopolis, Naples (1992)"},{"key":"9317_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-0348-0052-5","volume-title":"Simplicial Methods for Operads and Algebraic Geometry","author":"I Moerdijk","year":"2010","unstructured":"Moerdijk, I., To\u00ebn, B.: Simplicial Methods for Operads and Algebraic Geometry. Springer, Basel (2010)"},{"key":"9317_CR23","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1023\/A:1015186718090","volume":"70","author":"Z Petri\u0107","year":"2002","unstructured":"Petri\u0107, Z.: Coherence in substructural categories. Stud. Logica. 70, 271\u2013296 (2002)","journal-title":"Stud. Logica."},{"key":"9317_CR24","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0040-9383(74)90022-6","volume":"13","author":"G Segal","year":"1974","unstructured":"Segal, G.: Categories and cohomology theories. Topology 13, 293\u2013312 (1974)","journal-title":"Topology"},{"key":"9317_CR25","first-page":"217","volume":"13","author":"R Street","year":"1972","unstructured":"Street, R.: Two constructions on lax functors. Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques 13, 217\u2013264 (1972)","journal-title":"Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques"},{"issue":"91","key":"9317_CR26","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1017\/S0305004100055535","volume":"85","author":"RW Thomason","year":"1979","unstructured":"Thomason, R.W.: Homotopy colimits in the category of small categories. Math. Proc. Camb. Philos. Soc. 85(91), 91\u2013109 (1979)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"9317_CR27","unstructured":"Trimble, T.: On the bar construction. Available at: http:\/\/golem.ph.utexas.edu\/category\/2007\/05\/on-the-bar-construction.html (2007). Accessed May 2007"},{"key":"9317_CR28","volume-title":"Schwichtenberg, H.: Basic Proof Theory, (2000)","author":"AS Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, (2nd edn., 2000). Cambridge University Press, Cambridge (1996)","edition":"2"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9317-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-013-9317-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9317-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:25:59Z","timestamp":1559139959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-013-9317-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,11]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9317"],"URL":"https:\/\/doi.org\/10.1007\/s10485-013-9317-8","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,11]]}}}