Coherence for Skew-Monoidal Categories

@inproceedings{Uustalu2014CoherenceFS,
  title={Coherence for Skew-Monoidal Categories},
  author={T. Uustalu},
  booktitle={MSFP},
  year={2014}
}
  • T. Uustalu
  • Published in MSFP 2014
  • Computer Science, Mathematics
  • We motivate a variation (due to K. Szlachof monoidal categories called skew-monoidal cat- egories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be formulated differently than in the well-known monoidal case. In my (to my knowledge new) version it becomes a statement of uniqueness of normalizing rewrites. We present a proof of this coherence proof and also formalize it fully in the dependently typed pro- gramming… CONTINUE READING
    10 Citations
    Proof Theory of Partially Normal Skew Monoidal Categories
    • 2
    • PDF
    The Sequent Calculus of Skew Monoidal Categories
    • 4
    • PDF
    Monads need not be endofunctors
    • 98
    • PDF
    A sequent calculus for a semi-associative
    • Zeilberger, Noam
    • 2019
    • PDF
    Free skew monoidal categories
    • 6
    • PDF
    A sequent calculus for a semi-associative law
    • N. Zeilberger
    • Mathematics, Computer Science
    • Log. Methods Comput. Sci.
    • 2019
    • 2
    • PDF
    A Sequent Calculus for a Semi-Associative Law
    • 6
    • PDF
    Eilenberg-Kelly Reloaded
    • 2
    • PDF

    References

    SHOWING 1-10 OF 21 REFERENCES
    Skew-monoidal categories and bialgebroids
    • 51
    • Highly Influential
    • PDF
    Skew-closed categories
    • 25
    • PDF
    Monads need not be endofunctors
    • 98
    • PDF
    Skew monoidales, skew warpings and quantum categories
    • 33
    • PDF
    Lax 2-categories and directed homotopy
    • 17