Cargando…
A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos
<P><STRONG>Introduction<BR></STRONG><BR><STRONG>Categorical Preliminaries<BR></STRONG>Categories and Functors<BR>Morphisms<BR>Functors<BR>Categorical Products<BR>Natural Transformations<BR>Products on Models <BR>Pres...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Apple Academic Press
2014
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2115794 |
| _version_ | 1780949194602708992 |
|---|---|
| author | Nourani, Cyrus F |
| author_facet | Nourani, Cyrus F |
| author_sort | Nourani, Cyrus F |
| collection | CERN |
| description | <P><STRONG>Introduction<BR></STRONG><BR><STRONG>Categorical Preliminaries<BR></STRONG>Categories and Functors<BR>Morphisms<BR>Functors<BR>Categorical Products<BR>Natural Transformations<BR>Products on Models <BR>Preservation of Limits<BR>Model Theory and Topoi <BR>More on Universal Constructions<BR>Chapter Exercises<BR><BR><B>Infinite Language Categories<BR></B>Basics<BR>Limits and Infinitary Languages <BR>Generic Functors and Language String Models<BR>Functorial Morphic Ordered Structure Models<BR>Chapter Exercises<BR>Functorial Morphic Ordered Structure Models<BR><B><BR>Functorial Fragment M |
| id | cern-2115794 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2014 |
| publisher | Apple Academic Press |
| record_format | invenio |
| spelling | cern-21157942021-04-21T19:57:00Zhttp://cds.cern.ch/record/2115794engNourani, Cyrus FA functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories toposMathematical Physics and Mathematics<P><STRONG>Introduction<BR></STRONG><BR><STRONG>Categorical Preliminaries<BR></STRONG>Categories and Functors<BR>Morphisms<BR>Functors<BR>Categorical Products<BR>Natural Transformations<BR>Products on Models <BR>Preservation of Limits<BR>Model Theory and Topoi <BR>More on Universal Constructions<BR>Chapter Exercises<BR><BR><B>Infinite Language Categories<BR></B>Basics<BR>Limits and Infinitary Languages <BR>Generic Functors and Language String Models<BR>Functorial Morphic Ordered Structure Models<BR>Chapter Exercises<BR>Functorial Morphic Ordered Structure Models<BR><B><BR>Functorial Fragment MApple Academic Pressoai:cds.cern.ch:21157942014 |
| spellingShingle | Mathematical Physics and Mathematics Nourani, Cyrus F A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title | A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title_full | A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title_fullStr | A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title_full_unstemmed | A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title_short | A functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| title_sort | functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2115794 |
| work_keys_str_mv | AT nouranicyrusf afunctorialmodeltheorynewerapplicationstoalgebraictopologydescriptivesetsandcomputingcategoriestopos AT nouranicyrusf functorialmodeltheorynewerapplicationstoalgebraictopologydescriptivesetsandcomputingcategoriestopos |