merge of pages Homotopy type theory and Univalent foundations
edit
The filing party (the editor who opened this request) will add the basic details for this dispute below.
- Editors involved in this dispute
- Foobarnix (talk · contribs) – filing party
- Vladimirias (talk · contribs)
- Articles affected by this dispute
- Univalent foundations (edit | talk | history | links | watch | logs)
- Homotopy type theory (edit | talk | history | links | watch | logs)
- Other attempts at resolving this dispute that you have attempted
What is this dispute about? What sections, sentences, or issues in the article(s) can you not agree on? If you are the editor who opened this request, list these issues to be mediated under "Primary issues". If you did not open this request, you can add additional issues to be mediated under "Additional issues". The issues to be mediated would be properly agreed upon later, if this request for mediation is accepted.
- Primary issues (added by the filing party)
- Should the two articles Homotopy Type Theory and Univalent foundations be merged?
- Additional issues (added by other parties)
- Additional issue 1
- Additional issue 2
If you are a named party, please sign below and indicate whether you agree or refuse to participate in mediation. Remember that all editors are obliged to resolve disputes about content through discussion, mediation, or other similar means. If you do not wish to participate in mediation, you must arrange another form of dispute resolution. Comments and questions should be made underneath the numbered list below, to avoid confusion.
- Agree. Foobarnix (talk) 22:08, 22 February 2015 (UTC)[reply]
This section should only be edited by a mediator. The Mediation Committee's representative will indicate in due course whether the request is accepted (meaning a mediator will be assigned) or rejected (meaning you will have to try a different type of dispute resolution). If the mediator asks you a question in this section, you may edit here.
- Reject. I'm going to reject this case under the authority granted to the chairperson under prerequisite to mediation #9, "the Committee has the discretion to refuse or refer back to other dispute resolution venues (e.g. dispute resolution noticeboard, third opinion, request for comment, or additional talk page discussion) a dispute which would benefit from additional work at lower levels of the dispute resolution process." (One not mentioned in that list which might apply in this case is to ask at AN for a consensus evaluation of the existing merger discussion; there's usually something of a backlog there, so please be patient if you do make such a request.) Finally, though there have been quite a few people involved in the merger discussions, the filing party has only listed one here; if the filing editor chooses to use some other form of dispute resolution s/he should be sure to include everyone who might have an interest in the outcome; this listing would have been administratively closed as being misfiled had it not been closed for the reason noted above. For the Mediation Committee, TransporterMan (TALK) 17:13, 23 February 2015 (UTC) (Chairperson)[reply]