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 PDF BibTeX XML Cite \textit{A. Moebus}, Cah. Topologie Géom. Différ. Catégoriques 23, 47--53 (1982; Zbl 0476.18001) Full Text: Numdam EuDML OpenURL 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.