Traced Premonoidal Categories - PowerPoint PPT Presentation

1 / 33
} ?>
View by Category
About This Presentation
Title:

Traced Premonoidal Categories

Description:

We get a premonoidal category K ... gives two ways of composing f:AB and g:A'B' to get A A'B ... Try to get a better account of mfix axioms in a ... – PowerPoint PPT presentation

Number of Views:37
Avg rating:3.0/5.0
Slides: 34
Provided by: nic17
Learn more at: http://research.microsoft.com
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com