×

Syntactical theory of functors. (English) Zbl 0476.18001

MSC:

18A15 Foundations, relations to logic and deductive systems
03G30 Categorical logic, topoi
18C10 Theories (e.g., algebraic theories), structure, and semantics

Citations:

Zbl 0357.18002
PDF BibTeX XML Cite
Full Text: Numdam EuDML

References:

[1] JTT Johnsrone , P. , Topos Theory , Academic Press , London , 1977 . Zbl 0368.18001 · Zbl 0368.18001
[2] MR Makkai , M. & Reyes , G.E. , First order categorical logic , Lecture Notes in Math. 611 , Springer ( 1978 ). Zbl 0357.18002 · Zbl 0357.18002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.