Functions are everywhere! (Steve Awodey)

Today, Germany will pay the last reparation (via). Therfore, the first world war officially ends today.

According to Wikipedia, these are also the last reparations payed for the second world war.