Moebus, Axel Syntactical theory of functors. (English) Zbl 0476.18001 Cah. Topol. Géom. Différ. 23, 47-53 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 18A15 Foundations, relations to logic and deductive systems 03G30 Categorical logic, topoi 18C10 Theories (e.g., algebraic theories), structure, and semantics Keywords:natural transformation; syntactical functor between logical theories; functors preserving monomorphisms; categories of functional formulae Citations:Zbl 0357.18002 × Cite Format Result Cite Review PDF 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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.