Wikipedia:Requests for mediation/merge of pages Homotopy type theory and Univalent foundations

From Wikipedia, the free encyclopedia

merge of pages Homotopy type theory and Univalent foundations[edit]

Editors involved in this dispute
  1. Foobarnix (talk · contribs) – filing party
  2. Vladimirias (talk · contribs)
Articles affected by this dispute
  1. Univalent foundations (edit | talk | history | links | watch | logs)
  2. Homotopy type theory (edit | talk | history | links | watch | logs)
Other attempts at resolving this dispute that you have attempted

Issues to be mediated[edit]

Primary issues (added by the filing party)
  1. Should the two articles Homotopy Type Theory and Univalent foundations be merged?
Additional issues (added by other parties)
  • Additional issue 1
  • Additional issue 2

Parties' agreement to mediation[edit]

  1. Agree. Foobarnix (talk) 22:08, 22 February 2015 (UTC)[reply]

Decision of the Mediation Committee[edit]

  • 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]