{"action":"opened","issue":{"url":"https://api.github.com/repos/freebroccolo/opetopic-type-theory/issues/1","labels_url":"https://api.github.com/repos/freebroccolo/opetopic-type-theory/issues/1/labels{/name}","comments_url":"https://api.github.com/repos/freebroccolo/opetopic-type-theory/issues/1/comments","events_url":"https://api.github.com/repos/freebroccolo/opetopic-type-theory/issues/1/events","html_url":"https://github.com/freebroccolo/opetopic-type-theory/issues/1","id":118302663,"number":1,"title":"define terminology","user":{"login":"freebroccolo","id":151197,"avatar_url":"https://avatars.githubusercontent.com/u/151197?v=3","gravatar_id":"","url":"https://api.github.com/users/freebroccolo","html_url":"https://github.com/freebroccolo","followers_url":"https://api.github.com/users/freebroccolo/followers","following_url":"https://api.github.com/users/freebroccolo/following{/other_user}","gists_url":"https://api.github.com/users/freebroccolo/gists{/gist_id}","starred_url":"https://api.github.com/users/freebroccolo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/freebroccolo/subscriptions","organizations_url":"https://api.github.com/users/freebroccolo/orgs","repos_url":"https://api.github.com/users/freebroccolo/repos","events_url":"https://api.github.com/users/freebroccolo/events{/privacy}","received_events_url":"https://api.github.com/users/freebroccolo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-11-23T01:01:08Z","updated_at":"2015-11-23T01:01:08Z","closed_at":null,"body":"- [ ] Baez-Dolan slice construction\r\n- [ ] Ghani-Kurz construction\r\n- [ ] Lawvere theory\r\n- [ ] cell (simplex)\r\n- [ ] complex\r\n- [ ] composition (tree / forest)\r\n- [ ] constellation\r\n- [ ] correspondence\r\n- [ ] corolla\r\n- [ ] drop\r\n- [ ] facet\r\n- [ ] filling\r\n- [ ] frame (boundary)\r\n- [ ] glob\r\n- [ ] gluing\r\n- [ ] induction-recursion\r\n- [ ] kernel\r\n- [ ] layer\r\n- [ ] multicategory\r\n- [ ] nesting\r\n- [ ] niche (horn)\r\n- [ ] operad\r\n- [ ] opetope\r\n- [ ] opetopic monad\r\n- [ ] polynomial\r\n- [ ] polynomial functor\r\n- [ ] polynomial monad\r\n- [ ] slice\r\n- [ ] stable\r\n- [ ] subdivision\r\n- [ ] suite\r\n- [ ] suspension\r\n- [ ] zoom\r\n- [ ] zoom complex"}}