{"push_id":636049488,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"2c8ef84c2ddaf1d7b814faf510de8541973dc7b2","before":"7b47919bbfb29c2a792b4a7c0174714b1c36bc09","commits":[{"sha":"517519ee5f62747fcf0d4281f7808c3270399597","author":{"email":"b11fdb646dd5b9702f02c4ffb9fec173d46def5d@gmail.com","name":"UEMURA Taichi"},"message":"add braided monoidal category","distinct":true,"url":"https://api.github.com/repos/uemurax/Note/commits/517519ee5f62747fcf0d4281f7808c3270399597"},{"sha":"29a996a06734c30bad6610a4fc0e4549a63eecb3","author":{"email":"b11fdb646dd5b9702f02c4ffb9fec173d46def5d@gmail.com","name":"UEMURA Taichi"},"message":"modify symmetric monoidal category","distinct":true,"url":"https://api.github.com/repos/uemurax/Note/commits/29a996a06734c30bad6610a4fc0e4549a63eecb3"},{"sha":"2c8ef84c2ddaf1d7b814faf510de8541973dc7b2","author":{"email":"b11fdb646dd5b9702f02c4ffb9fec173d46def5d@gmail.com","name":"UEMURA Taichi"},"message":"modify symmetric monoidal category","distinct":true,"url":"https://api.github.com/repos/uemurax/Note/commits/2c8ef84c2ddaf1d7b814faf510de8541973dc7b2"}]}