1 Matching Annotations
  1. Jun 2018
  2. arxiv.org arxiv.org
    1803.05316.pdf
    1
    1. bbarker 15 Jun 2018
      Remark1.73.IfPandQare total orders andf:P!Qand1:Q!Pare drawn witharrows bending as in Exercise 1.72, we believe thatfis left adjoint to1iff the arrows donot cross. But we have not proved this, mainly because it is difficult to state precisely,and the total order case is not particularly general
      category theory total order open problem adjoint galois connection
    Visit annotations in context

    Tags

    Annotators

    URL

    arxiv.org/pdf/1803.05316.pdf