Mahavier completeness and classifying diagrams

Yuki Maehara, Ittay Weiss

Research output: Contribution to journalArticlepeer-review

158 Downloads (Pure)


Generalised inverse limits of compacta were introduced by Ingram and Mahavier in 2006. The main difference between ordinary inverse limits and their generalised cousins is that the former concerns diagrams of singlevalued functions while the latter permits multivalued functions. However, generalised inverse limits are not merely limits in the Kleisli category of a hyperspace monad, a fact that independently motivated each of the authors of this article to come up with the same formalism which restores the link with category theory through the concept of Mahavier limit of an order diagram in an order extension of a category B. Mahavier limits of diagrams in B coincide with ordinary limits in B, and so Mahavier limits are an extension of ordinary limits along the functor that views an ordinary diagram as a diagram in the extension. Within that context it is natural to consider Mahavier completeness, namely when all small diagrams admit Mahavier limits, as well as classifying diagrams, namely the existence of a right adjoint to the mentioned functor on diagrams. In this work we show that these two conditions are equivalent.
Original languageEnglish
Pages (from-to)55-69
JournalTopology and its Applications
Early online date19 Jul 2017
Publication statusPublished - 15 Sept 2017


  • generalised inverse limit
  • Mahavier limit
  • classifying diagram
  • inverse system
  • gerealised inverse system
  • category with order
  • generalised categorical limit
  • multivalued function
  • upper semicontinous function


Dive into the research topics of 'Mahavier completeness and classifying diagrams'. Together they form a unique fingerprint.

Cite this