Medial Limits; Non-Local Limits; Context as Limit; Medial Context

Medial Limits; Non-Local Limits; Context as Limit; Medial Context

  1. A ↔ B

  2. (A ↔ B) ↔ C

  3. (A, B) ↔ C

  4. C ↔ D

  5. (C ↔ D) ↔ E

  6. (C, D) ↔ E

  7. ((A ↔ B ↔ C ↔ D) ↔ E

  8. (A, B, C, D) ↔ E

  9. A → Xn

  10. (A → Xn) ↔ A

  11. A ↔ A

  12. A → A

  13. (A → A) ↔ A

  14. A(->, <->)

  15. (A(A)B)

  16. ((A(A)B)A)C

  17. ((A,B)A)C

  18. (C(A)D)

  19. ((C(A)D)A)E

  20. ((C,D)A)E

21 ((A(A)B(A)C(A)D)A)E

  1. ((A,B,C,D)A)E

  2. (A(A)Xn)

  3. ((A(A)Xn)A)A

  4. (A(A)A)

  5. ((A(A)A)A)A

  6. (( )…)