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

merge of pages Homotopy type theory and Univalent foundations

 * Editors involved in this dispute
 * 1) – filing party


 * Articles affected by this dispute


 * Other attempts at resolving this dispute that you have attempted
 * User:Foobarnix/Arguments for merging UF with HoTT - This page contains detailed arguments supporting my request for a merge
 * 'Vladimir Voevodsky, univalent foundations, and homotopy type theory on the page Wikipedia talk:WikiProject Mathematics
 * Talk:Univalent foundations
 * Talk:Homotopy type theory
 * User:Michael Shulman/draft Homotopy Type Theory and Univalent Foundations - This is the proposed new draft

Issues to be mediated

 * 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

 * 1) Agree. Foobarnix (talk) 22:08, 22 February 2015 (UTC)

Decision of the Mediation Committee

 * 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)