Coherence and Confluence
نویسنده
چکیده
Proofs of coherence in category theory, starting from Mac Lane’s original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that “all diagrams commute”. This note is about this analogy, paying particular attention to cases where the category for which coherence is proved is not a groupoid. Mathematics Subject Classification (2000): 18A15, 18D10, 03B40, 03D03
منابع مشابه
ar X iv : m at h / 05 06 31 0 v 1 [ m at h . C T ] 1 5 Ju n 20 05 Coherence and Confluence
Proofs of coherence in category theory, starting from Mac Lane’s original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that “all diagrams commute”. This note is about this analog...
متن کاملCoherence without Unique Normal Forms
Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a feature that is inherent to the coherence problem itself. This is demonstrated by the theory of iterated monoidal categories, which model iterated loop spaces and ...
متن کاملImpact of the Confluence Angle on Flow Field and Flowmeter Accuracy in Open Channel Junctions
Open channel junction is one of the most common hydraulic structures that are used in various practical situations such as sewer, drainage, and flood control systems. Knowing the fluid flow behavior, is one of the most important topics in designing the efficient open channel junctions. The complexity and deviation of flow in the junction’s zone disrupts the proper functioning of the flowmeter d...
متن کاملTowards Rewriting in Coq
Equational reasoning in Coq is not straightforward. For a few years now there has been an ongoing research process towards adding rewriting to Coq. However, there are many research problems on this way. In this paper we give a coherent view of rewriting in Coq, we describe what is already done and what remains to be done. We discuss such issues as strong normalization, confluence, logical consi...
متن کاملArchitecting the enterprise to leverage a confluence of emerging technologies
The simultaneous widespread and rapid adoption of a number of emerging technologies including low-cost sensing, mobile devices, social and cloud computing, and especially big data analytics is leading up to a perfect storm which will transform our conception of society and organizations. When acting in isolation, each of these technologies is already radically changing our lives and reshaping m...
متن کامل