{"action":"created","issue":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/567","repository_url":"https://api.github.com/repos/UniMath/UniMath","labels_url":"https://api.github.com/repos/UniMath/UniMath/issues/567/labels{/name}","comments_url":"https://api.github.com/repos/UniMath/UniMath/issues/567/comments","events_url":"https://api.github.com/repos/UniMath/UniMath/issues/567/events","html_url":"https://github.com/UniMath/UniMath/pull/567","id":205757993,"number":567,"title":"Associativity pull request","user":{"login":"DanGrayson","id":700228,"avatar_url":"https://avatars.githubusercontent.com/u/700228?v=3","gravatar_id":"","url":"https://api.github.com/users/DanGrayson","html_url":"https://github.com/DanGrayson","followers_url":"https://api.github.com/users/DanGrayson/followers","following_url":"https://api.github.com/users/DanGrayson/following{/other_user}","gists_url":"https://api.github.com/users/DanGrayson/gists{/gist_id}","starred_url":"https://api.github.com/users/DanGrayson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanGrayson/subscriptions","organizations_url":"https://api.github.com/users/DanGrayson/orgs","repos_url":"https://api.github.com/users/DanGrayson/repos","events_url":"https://api.github.com/users/DanGrayson/events{/privacy}","received_events_url":"https://api.github.com/users/DanGrayson/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":7,"created_at":"2017-02-07T01:20:32Z","updated_at":"2017-02-16T14:02:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/UniMath/UniMath/pulls/567","html_url":"https://github.com/UniMath/UniMath/pull/567","diff_url":"https://github.com/UniMath/UniMath/pull/567.diff","patch_url":"https://github.com/UniMath/UniMath/pull/567.patch"},"body":"In this pull request we prove associativity for sequences and show\r\nthat lists are equivalent to sequences.\r\n"},"comment":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/comments/280337939","html_url":"https://github.com/UniMath/UniMath/pull/567#issuecomment-280337939","issue_url":"https://api.github.com/repos/UniMath/UniMath/issues/567","id":280337939,"user":{"login":"DanGrayson","id":700228,"avatar_url":"https://avatars.githubusercontent.com/u/700228?v=3","gravatar_id":"","url":"https://api.github.com/users/DanGrayson","html_url":"https://github.com/DanGrayson","followers_url":"https://api.github.com/users/DanGrayson/followers","following_url":"https://api.github.com/users/DanGrayson/following{/other_user}","gists_url":"https://api.github.com/users/DanGrayson/gists{/gist_id}","starred_url":"https://api.github.com/users/DanGrayson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanGrayson/subscriptions","organizations_url":"https://api.github.com/users/DanGrayson/orgs","repos_url":"https://api.github.com/users/DanGrayson/repos","events_url":"https://api.github.com/users/DanGrayson/events{/privacy}","received_events_url":"https://api.github.com/users/DanGrayson/received_events","type":"User","site_admin":false},"created_at":"2017-02-16T14:02:47Z","updated_at":"2017-02-16T14:02:47Z","body":"Re: \"It is an open question whether a binary product structure on a category defines finite product structure.\"\r\n\r\nI suppose that's not true.  It seems that all the standard examples of additive categories come with finite product structure, and it's useful, so probably the right definition of additive category would start with that instead of with binary product structure.  @tpannila may have a comment about that."}}
{"actor":{"display_login":"DanGrayson"}}