{"action":"created","issue":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/761","repository_url":"https://api.github.com/repos/UniMath/UniMath","labels_url":"https://api.github.com/repos/UniMath/UniMath/issues/761/labels{/name}","comments_url":"https://api.github.com/repos/UniMath/UniMath/issues/761/comments","events_url":"https://api.github.com/repos/UniMath/UniMath/issues/761/events","html_url":"https://github.com/UniMath/UniMath/issues/761","id":260399133,"number":761,"title":"Topological spaces","user":{"login":"AnthonyBordg","id":3811775,"avatar_url":"https://avatars1.githubusercontent.com/u/3811775?v=4","gravatar_id":"","url":"https://api.github.com/users/AnthonyBordg","html_url":"https://github.com/AnthonyBordg","followers_url":"https://api.github.com/users/AnthonyBordg/followers","following_url":"https://api.github.com/users/AnthonyBordg/following{/other_user}","gists_url":"https://api.github.com/users/AnthonyBordg/gists{/gist_id}","starred_url":"https://api.github.com/users/AnthonyBordg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AnthonyBordg/subscriptions","organizations_url":"https://api.github.com/users/AnthonyBordg/orgs","repos_url":"https://api.github.com/users/AnthonyBordg/repos","events_url":"https://api.github.com/users/AnthonyBordg/events{/privacy}","received_events_url":"https://api.github.com/users/AnthonyBordg/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-09-25T20:08:23Z","updated_at":"2017-12-07T15:05:59Z","closed_at":"2017-12-07T15:05:59Z","author_association":"CONTRIBUTOR","body":"Why in the file `Topology.v` the definition `TologicalSet := \\sum X : UU, isTopologicalSet X` is not called `TopologicalSpace` and why is it not defined as `\\sum X: hSet, isTopologicalSet (pr1hSet X)` ?\r\n@cathlelay  "},"comment":{"url":"https://api.github.com/repos/UniMath/UniMath/issues/comments/349994092","html_url":"https://github.com/UniMath/UniMath/issues/761#issuecomment-349994092","issue_url":"https://api.github.com/repos/UniMath/UniMath/issues/761","id":349994092,"user":{"login":"benediktahrens","id":1106102,"avatar_url":"https://avatars2.githubusercontent.com/u/1106102?v=4","gravatar_id":"","url":"https://api.github.com/users/benediktahrens","html_url":"https://github.com/benediktahrens","followers_url":"https://api.github.com/users/benediktahrens/followers","following_url":"https://api.github.com/users/benediktahrens/following{/other_user}","gists_url":"https://api.github.com/users/benediktahrens/gists{/gist_id}","starred_url":"https://api.github.com/users/benediktahrens/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/benediktahrens/subscriptions","organizations_url":"https://api.github.com/users/benediktahrens/orgs","repos_url":"https://api.github.com/users/benediktahrens/repos","events_url":"https://api.github.com/users/benediktahrens/events{/privacy}","received_events_url":"https://api.github.com/users/benediktahrens/received_events","type":"User","site_admin":false},"created_at":"2017-12-07T15:05:59Z","updated_at":"2017-12-07T15:05:59Z","author_association":"OWNER","body":"Closed - this discussion should take place on the mailing list instead."}}
{"actor":{"display_login":"benediktahrens"}}