{"action":"created","issue":{"url":"https://api.github.com/repos/leanprover/mathlib/issues/152","repository_url":"https://api.github.com/repos/leanprover/mathlib","labels_url":"https://api.github.com/repos/leanprover/mathlib/issues/152/labels{/name}","comments_url":"https://api.github.com/repos/leanprover/mathlib/issues/152/comments","events_url":"https://api.github.com/repos/leanprover/mathlib/issues/152/events","html_url":"https://github.com/leanprover/mathlib/pull/152","id":328898345,"node_id":"MDExOlB1bGxSZXF1ZXN0MTkyMjkwNTUz","number":152,"title":"feat(category_theory): basic definitions","user":{"login":"semorrison","id":477956,"node_id":"MDQ6VXNlcjQ3Nzk1Ng==","avatar_url":"https://avatars1.githubusercontent.com/u/477956?v=4","gravatar_id":"","url":"https://api.github.com/users/semorrison","html_url":"https://github.com/semorrison","followers_url":"https://api.github.com/users/semorrison/followers","following_url":"https://api.github.com/users/semorrison/following{/other_user}","gists_url":"https://api.github.com/users/semorrison/gists{/gist_id}","starred_url":"https://api.github.com/users/semorrison/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/semorrison/subscriptions","organizations_url":"https://api.github.com/users/semorrison/orgs","repos_url":"https://api.github.com/users/semorrison/repos","events_url":"https://api.github.com/users/semorrison/events{/privacy}","received_events_url":"https://api.github.com/users/semorrison/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2018-06-04T03:39:38Z","updated_at":"2018-06-21T07:13:40Z","closed_at":null,"author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/leanprover/mathlib/pulls/152","html_url":"https://github.com/leanprover/mathlib/pull/152","diff_url":"https://github.com/leanprover/mathlib/pull/152.diff","patch_url":"https://github.com/leanprover/mathlib/pull/152.patch"},"body":"This is just the start of a PR of my category theory library.\r\n\r\nI'm very happy to add components to this PR if it is easier to see more things in context.\r\n\r\nI am not attached at all to any of the notational choices, and am quite happy to change these. (I do really want to keep a notation like the current `f ≫ g` for \"do f, then g\", but don't mind the symbol.)"},"comment":{"url":"https://api.github.com/repos/leanprover/mathlib/issues/comments/399000331","html_url":"https://github.com/leanprover/mathlib/pull/152#issuecomment-399000331","issue_url":"https://api.github.com/repos/leanprover/mathlib/issues/152","id":399000331,"node_id":"MDEyOklzc3VlQ29tbWVudDM5OTAwMDMzMQ==","user":{"login":"jcommelin","id":5636705,"node_id":"MDQ6VXNlcjU2MzY3MDU=","avatar_url":"https://avatars2.githubusercontent.com/u/5636705?v=4","gravatar_id":"","url":"https://api.github.com/users/jcommelin","html_url":"https://github.com/jcommelin","followers_url":"https://api.github.com/users/jcommelin/followers","following_url":"https://api.github.com/users/jcommelin/following{/other_user}","gists_url":"https://api.github.com/users/jcommelin/gists{/gist_id}","starred_url":"https://api.github.com/users/jcommelin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jcommelin/subscriptions","organizations_url":"https://api.github.com/users/jcommelin/orgs","repos_url":"https://api.github.com/users/jcommelin/repos","events_url":"https://api.github.com/users/jcommelin/events{/privacy}","received_events_url":"https://api.github.com/users/jcommelin/received_events","type":"User","site_admin":false},"created_at":"2018-06-21T07:13:40Z","updated_at":"2018-06-21T07:13:40Z","author_association":"CONTRIBUTOR","body":"There is not even a travis failure on your last commit, right?"}}
{"actor":{"display_login":"jcommelin"}}