Hierarchical string diagrams for closed monoidal categories

Add to your list(s) Download to your calendar using vCal

• Dan Ghica (Computer Science)
• Tuesday 06 July 2021, 14:00-15:00
• https://bham-ac-uk.zoom.us/j/87347393966?pwd=SndiVlNCZStOSER0c0NKNUoxWkVZUT09.

If you have a question about this talk, please contact Dan Ghica.

Last week we have seen an application of HSDs to defining an automatic differentiation algorithm and proving its correctness. This week I will give an (impromptu) seminar describing HSDs as a graphical language for closed monoidal (and cartesian closed) categories.

Meeting ID: 873 4739 3966 Passcode: 825034

This talk is part of the Theoretical computer science seminar series.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Theoretical computer science seminar
• computer sience
• https://bham-ac-uk.zoom.us/j/87347393966?pwd=SndiVlNCZStOSER0c0NKNUoxWkVZUT09

Note that ex-directory lists are not shown.