complete cocomplete bicomplex bicategorical bicomposite paracomplex completely metrizable cofinite closed turing complete