Timeline for Multiplication and division by a morphism under the “inner composition” in closed monoidal categories
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2019 at 11:38 | comment | added | Sergei Akbarov | Noam, this is something new for me, I need some time to understand this. | |
| Jun 30, 2019 at 11:32 | comment | added | Noam Zeilberger | (that should be "type $\frac DC \to \frac{\frac DA}{\frac BA}$") | |
| Jun 30, 2019 at 11:19 | comment | added | Noam Zeilberger | Re: the last parenthetical, this equation can actually be generalized to any closed (not necessarily monoidal) category after currying the two morphisms to have type $\frac CB \to \frac{\frac CA}{\frac CB}$. The argument above still works, with the two corresponding terms reducing to the same normal form $\lambda g.\lambda a.f(\phi[g(a)/b])$. | |
| Jun 30, 2019 at 11:09 | history | answered | Noam Zeilberger | CC BY-SA 4.0 |