Conjecture Free Partial Markov Category [efr-A1R8]

Consider the CD-category which is initial so that

  1. The pure subcategory is countably extensive and countably complete
  2. The