Pages that link to "Item:Q494084"

The following pages link to On Sweedler's cofree cocommutative coalgebra. (Q494084):

Displaying 5 items.

• Cartesian differential categories as skew enriched categories (Q825992) (← links)
• Exponential functions in Cartesian differential categories (Q2035864) (← links)
• (Q4972739) (← links)
• Encodings of Turing machines in linear logic (Q5139286) (← links)
• Cofree coalgebras and differential linear logic (Q5139287) (← links)