Syntactical theory of functors
Cahiers de Topologie et Géométrie Différentielle Catégoriques (1982)
- Volume: 23, Issue: 1, page 47-53
- ISSN: 1245-530X
Access Full Article
topHow to cite
topMöbus, Axel. "Syntactical theory of functors." Cahiers de Topologie et Géométrie Différentielle Catégoriques 23.1 (1982): 47-53. <http://eudml.org/doc/91289>.
@article{Möbus1982,
author = {Möbus, Axel},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
keywords = {natural transformation; syntactical functor between logical theories; functors preserving monomorphisms; categories of functional formulae},
language = {eng},
number = {1},
pages = {47-53},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Syntactical theory of functors},
url = {http://eudml.org/doc/91289},
volume = {23},
year = {1982},
}
TY - JOUR
AU - Möbus, Axel
TI - Syntactical theory of functors
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1982
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 23
IS - 1
SP - 47
EP - 53
LA - eng
KW - natural transformation; syntactical functor between logical theories; functors preserving monomorphisms; categories of functional formulae
UR - http://eudml.org/doc/91289
ER -
References
top- JTT Johnsrone, P., Topos Theory, Academic Press, London, 1977. Zbl0368.18001
- MR Makkai, M. & Reyes, G.E., First order categorical logic, Lecture Notes in Math.611, Springer (1978). Zbl0357.18002
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.