I'm working on the half-plane model of hyperbolic geometry and my advisor teacher gave me a metric different from the "classical" one and told me to check if my new space is CAT(0), however, he only briefly explained what this means with a triangle drawing.
Can anybody point me to some basic reference to have a good definition and be able to work this out ?
Thank you.