First Order Categorical Logic

Makkai, M., & Reyes, G. E. (1977). First Order Categorical Logic. Springer.

Type

Book

Intellectual base

Textbook

Year

1977

DOI

10.1007/bfb0066201

ISBN

9783540084396

Link

https://doi.org/10.1007/bfb0066201

Cited by

1 citation across 1 artifact.

Domain-specific

• Coherent category
  • A coherent category is a regular category \(\mathcal C\) in which each subobject poset (Sub(X)) has finite joins and every inverse-image map \(f^*:Sub(Y)\to Sub(X)\) preserves those joins.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:1660f92aaa6a · see in the full table