Skip to main content
SpringerLink
Log in

Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions

  • Published:
Applied Categorical Structures Aims and scope Submit manuscript

Abstract

A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for ω × ω-indexed family of iterated reduced bar constructions based on such a category.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Balteanu, C., Fiedorowicz, Z., Schwänzl, R., Vogt, R.: Iterated monoidal categories. Adv. Math. 176, 277–349 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  2. Bondy, J.A., Murty, U.S.R.: Graph Theory with Applications. North-Holland, Amsterdam (1976)

    MATH  Google Scholar 

  3. Došen, K., Petrić, Z.: The maximality of cartesian categories. Math. Log. Q. 47, 137–144 (2001)

    Article  MATH  Google Scholar 

  4. Došen, K., Petrić, Z.: Generality of proofs and its Brauerian representation. J. Symb. Log. 68, 740–750 (2003)

    Article  MATH  Google Scholar 

  5. Došen, K., Petrić, Z.: Proof-Theoretical Coherence. KCL Publications (College Publications), London (2004) (revised version available at: http://www.mi.sanu.ac.rs/~kosta/coh.pdf)

  6. Došen, K., Petrić, Z.: Proof-Net Categories. Polimetrica, Monza (2007)

    MATH  Google Scholar 

  7. Došen, K., Petrić, Z.: Coherence for modalities. J. Pure Appl. Algebra 215, 1606–1628 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  8. Došen, K., Petrić, Z.: Bicartesian coherence revisited. In: Ognjanović, Z. (ed.) Logic in Computer Science, Matematički institut SANU, pp. 5–34 (2009)

  9. Došen, K., Petrić, Z.: Intermutation. Appl. Categ. Struct. 20, 43–95 (2012)

    Article  MATH  Google Scholar 

  10. Došen, K., Petrić, Z.: Ordinals in Frobenius monads. J. Pure Appl. Algebra 217, 763–778 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  11. Epstein, D.B.A.: Functors between tensored categories. Invent. Math. 1, 221–228 (1966)

    Article  MATH  MathSciNet  Google Scholar 

  12. Huet, G.: Confluent reductions: abstract properties and applications to term rewriting systems. J. Assoc. Comput. Mach. 27, 797–821 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  13. Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20–78 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  14. Kelly, G.M., Mac Lane, S.: Coherence in closed categories. J. Pure Appl. Algebra 1, 97–140 (1971)

    Article  MATH  MathSciNet  Google Scholar 

  15. 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–147. Springer, Berlin (1972)

    Chapter  Google Scholar 

  16. Lambek, J.: Deductive systems and categories I: syntactic calculus and residuated categories. Math. Syst. Theory 2, 287–318 (1968)

    Article  MATH  MathSciNet  Google Scholar 

  17. 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–122. Springer, Berlin (1969)

    Chapter  Google Scholar 

  18. Lauda, A.D.: Frobenius algebras and ambidextrous adjunctions. Theory Appl. Categ. 16, 84–122 (2006)

    MATH  MathSciNet  Google Scholar 

  19. Mac Lane, S.: Natural Associativity and Commutativity, vol. 49, pp. 28–46. Rice University Studies, Papers in Mathematics (1963)

  20. Mac Lane, S.: Categories for the Working Mathematician, (expanded 2nd edn., 1998). Springer, Berlin (1971)

    Book  Google Scholar 

  21. Mints, G.E.: Category theory and proof theory (in Russian), Aktual’nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev (1980), pp. 252–278. English translation, with permuted title. In: Mints, G.E. (ed.) Selected Papers in Proof Theory. Bibliopolis, Naples (1992)

  22. Moerdijk, I., Toën, B.: Simplicial Methods for Operads and Algebraic Geometry. Springer, Basel (2010)

    Book  MATH  Google Scholar 

  23. Petrić, Z.: Coherence in substructural categories. Stud. Logica. 70, 271–296 (2002)

    Article  MATH  Google Scholar 

  24. Segal, G.: Categories and cohomology theories. Topology 13, 293–312 (1974)

    Article  MATH  MathSciNet  Google Scholar 

  25. Street, R.: Two constructions on lax functors. Cah. Topologie Géom. Différ. Catégoriques 13, 217–264 (1972)

    MATH  MathSciNet  Google Scholar 

  26. Thomason, R.W.: Homotopy colimits in the category of small categories. Math. Proc. Camb. Philos. Soc. 85(91), 91–109 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  27. 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

  28. Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory, (2nd edn., 2000). Cambridge University Press, Cambridge (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, SANU, Knez Mihailova 36, P.O. Box 367, 11001, Belgrade, Serbia

    Zoran Petrić

  2. 8 Iris Lane, Redding, CT, 06896, USA

    Todd Trimble

Authors
  1. Zoran Petrić
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Todd Trimble
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zoran Petrić.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Petrić, Z., Trimble, T. Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions. Appl Categor Struct 22, 467–499 (2014). https://doi.org/10.1007/s10485-013-9317-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-013-9317-8

Keywords

Mathematics Subject Classifications (2010)

Search

Navigation