圏論の生まれてきた歴史