Pages that link to "Item:Q4647569"

The following pages link to Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids (Q4647569):

Displaying 5 items.

• Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
• Internal type theory (Q4647575) (← links)
• Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
• A well-known representation of monoids and its application to the function ‘vector reverse’ (Q5101924) (← links)
• (Q6079238) (← links)