]]>
J-B Vienney comments on "confluent category" (101644)https://nforum.ncatlab.org/discussion/14897/?Focus=101644#Comment_1016442022-08-06T00:45:00+00:002024-03-29T02:08:57+00:00J-B Vienneyhttps://nforum.ncatlab.org/account/3240/
Added very explicitely what is a confluent rewriting system.
diff, v5, current
Added very explicitely what is a confluent rewriting system.