Categorical structures and their applications [[electronic resource] ] : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gähler and G. Preuss
| Categorical structures and their applications [[electronic resource] ] : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gähler and G. Preuss |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 512/.62 |
| Altri autori (Persone) |
GählerWerner
PreussGerhard <1940-> HerrlichHorst |
| Soggetto topico |
Categories (Mathematics)
Topological spaces Metric spaces Topology |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-89846-5
9786611898465 981-270-241-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Introduction; Opening Ceremony of the North-West European Category Seminar 2003; On Boole's Booleanness B. Banaschewski; Homeomorphically Closed Nearness Spaces H. L. Bentley and John W. Carlson; The Tensor Product of Orthomodular Posets Reinhard Borger; On a Weak Form of the Blumberg Property Wing-Sum Cheung, Yu-Ting Lin, George E. Strecker and Shiojenn Tseng; Saturated Collections of Metrics E. Colebunders, R. Lowen and M. Sioen; A Uniform Space Proof of a Metrisation Theorem P. J. Collins
Classification of Closure Operators for Categories of Topological Spaces Dikran Dikranjan, Walter Tholen and Stephen WatsonTopological Structures in Logics Werner Gahler; The Structure of Affine Algebraic Sets Eraldo Giuli; A Twisted Triple Category of Track Commutative Cubes K. A. Hardie and K. H. Kamps; Productivity of Coreflective Classes in Some Topological Structures; A Characterization of Co-Retracts of Functional Structures; Maximal (Sequentially) Compact Topologies Hans-Peter A. Kiinzi and Dominic van der Zypen; Supertopologies as Starting Points for Generalized Continuity Structures Introducing Lagois CorrespondencesOn (B,B)-Projectivity Helga Oltmanns, Valdis Laan, Ulrich Knauer; On Coalgebras which are Algebras; A Hyperspace Completion for Semiuniform Convergence Spaces and Related Hyperspace Structures; Convex Effect Algebras and Partially Ordered Positively Convex Modules; Fibrewise Sobriety; Two Applications of Elementary Submodels to Partitions of Topological Spaces; L-Valued Categories: Generalities and Examples Related to Algebra and Topology; Horst Herrlich's Publications; Bernhard Banaschewski: Two Poems |
| Record Nr. | UNINA-9910451349603321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2004 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categorical structures and their applications [[electronic resource] ] : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gähler and G. Preuss
| Categorical structures and their applications [[electronic resource] ] : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gähler and G. Preuss |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 512/.62 |
| Altri autori (Persone) |
GählerWerner
PreussGerhard <1940-> HerrlichHorst |
| Soggetto topico |
Categories (Mathematics)
Topological spaces Metric spaces Topology |
| ISBN |
1-281-89846-5
9786611898465 981-270-241-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Introduction; Opening Ceremony of the North-West European Category Seminar 2003; On Boole's Booleanness B. Banaschewski; Homeomorphically Closed Nearness Spaces H. L. Bentley and John W. Carlson; The Tensor Product of Orthomodular Posets Reinhard Borger; On a Weak Form of the Blumberg Property Wing-Sum Cheung, Yu-Ting Lin, George E. Strecker and Shiojenn Tseng; Saturated Collections of Metrics E. Colebunders, R. Lowen and M. Sioen; A Uniform Space Proof of a Metrisation Theorem P. J. Collins
Classification of Closure Operators for Categories of Topological Spaces Dikran Dikranjan, Walter Tholen and Stephen WatsonTopological Structures in Logics Werner Gahler; The Structure of Affine Algebraic Sets Eraldo Giuli; A Twisted Triple Category of Track Commutative Cubes K. A. Hardie and K. H. Kamps; Productivity of Coreflective Classes in Some Topological Structures; A Characterization of Co-Retracts of Functional Structures; Maximal (Sequentially) Compact Topologies Hans-Peter A. Kiinzi and Dominic van der Zypen; Supertopologies as Starting Points for Generalized Continuity Structures Introducing Lagois CorrespondencesOn (B,B)-Projectivity Helga Oltmanns, Valdis Laan, Ulrich Knauer; On Coalgebras which are Algebras; A Hyperspace Completion for Semiuniform Convergence Spaces and Related Hyperspace Structures; Convex Effect Algebras and Partially Ordered Positively Convex Modules; Fibrewise Sobriety; Two Applications of Elementary Submodels to Partitions of Topological Spaces; L-Valued Categories: Generalities and Examples Related to Algebra and Topology; Horst Herrlich's Publications; Bernhard Banaschewski: Two Poems |
| Record Nr. | UNINA-9910783914203321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2004 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categorical structures and their applications : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gahler and G. Preuss
| Categorical structures and their applications : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gahler and G. Preuss |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 512/.62 |
| Altri autori (Persone) |
GählerWerner
PreussGerhard <1940-> HerrlichHorst |
| Soggetto topico |
Categories (Mathematics)
Topological spaces Metric spaces Topology |
| ISBN |
1-281-89846-5
9786611898465 981-270-241-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Introduction; Opening Ceremony of the North-West European Category Seminar 2003; On Boole's Booleanness B. Banaschewski; Homeomorphically Closed Nearness Spaces H. L. Bentley and John W. Carlson; The Tensor Product of Orthomodular Posets Reinhard Borger; On a Weak Form of the Blumberg Property Wing-Sum Cheung, Yu-Ting Lin, George E. Strecker and Shiojenn Tseng; Saturated Collections of Metrics E. Colebunders, R. Lowen and M. Sioen; A Uniform Space Proof of a Metrisation Theorem P. J. Collins
Classification of Closure Operators for Categories of Topological Spaces Dikran Dikranjan, Walter Tholen and Stephen WatsonTopological Structures in Logics Werner Gahler; The Structure of Affine Algebraic Sets Eraldo Giuli; A Twisted Triple Category of Track Commutative Cubes K. A. Hardie and K. H. Kamps; Productivity of Coreflective Classes in Some Topological Structures; A Characterization of Co-Retracts of Functional Structures; Maximal (Sequentially) Compact Topologies Hans-Peter A. Kiinzi and Dominic van der Zypen; Supertopologies as Starting Points for Generalized Continuity Structures Introducing Lagois CorrespondencesOn (B,B)-Projectivity Helga Oltmanns, Valdis Laan, Ulrich Knauer; On Coalgebras which are Algebras; A Hyperspace Completion for Semiuniform Convergence Spaces and Related Hyperspace Structures; Convex Effect Algebras and Partially Ordered Positively Convex Modules; Fibrewise Sobriety; Two Applications of Elementary Submodels to Partitions of Topological Spaces; L-Valued Categories: Generalities and Examples Related to Algebra and Topology; Horst Herrlich's Publications; Bernhard Banaschewski: Two Poems |
| Record Nr. | UNINA-9911102893603321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2004 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Categorical structures and their applications : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gahler and G. Preuss
| Categorical structures and their applications : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gahler and G. Preuss |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (356 p.) |
| Disciplina | 512/.62 |
| Altri autori (Persone) |
GählerWerner
PreussGerhard <1940-> HerrlichHorst |
| Soggetto topico |
Categories (Mathematics)
Topological spaces Metric spaces Topology |
| ISBN |
1-281-89846-5
9786611898465 981-270-241-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; Preface; Introduction; Opening Ceremony of the North-West European Category Seminar 2003; On Boole's Booleanness B. Banaschewski; Homeomorphically Closed Nearness Spaces H. L. Bentley and John W. Carlson; The Tensor Product of Orthomodular Posets Reinhard Borger; On a Weak Form of the Blumberg Property Wing-Sum Cheung, Yu-Ting Lin, George E. Strecker and Shiojenn Tseng; Saturated Collections of Metrics E. Colebunders, R. Lowen and M. Sioen; A Uniform Space Proof of a Metrisation Theorem P. J. Collins
Classification of Closure Operators for Categories of Topological Spaces Dikran Dikranjan, Walter Tholen and Stephen WatsonTopological Structures in Logics Werner Gahler; The Structure of Affine Algebraic Sets Eraldo Giuli; A Twisted Triple Category of Track Commutative Cubes K. A. Hardie and K. H. Kamps; Productivity of Coreflective Classes in Some Topological Structures; A Characterization of Co-Retracts of Functional Structures; Maximal (Sequentially) Compact Topologies Hans-Peter A. Kiinzi and Dominic van der Zypen; Supertopologies as Starting Points for Generalized Continuity Structures Introducing Lagois CorrespondencesOn (B,B)-Projectivity Helga Oltmanns, Valdis Laan, Ulrich Knauer; On Coalgebras which are Algebras; A Hyperspace Completion for Semiuniform Convergence Spaces and Related Hyperspace Structures; Convex Effect Algebras and Partially Ordered Positively Convex Modules; Fibrewise Sobriety; Two Applications of Elementary Submodels to Partitions of Topological Spaces; L-Valued Categories: Generalities and Examples Related to Algebra and Topology; Horst Herrlich's Publications; Bernhard Banaschewski: Two Poems |
| Record Nr. | UNINA-9911138086703321 |
| Singapore ; ; Hackensack, NJ, : World Scientific, c2004 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity
| Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity |
| Autore | Verity Dominic <1966-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 512/.62 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Categories (Mathematics)
Algebraic topology |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0511-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Historical Background""; ""Relationships to Other Work""; ""Overview and Structure""; ""Chapter 1. Simplicial Operators and Simplicial Sets""; ""1. Simplicial Operators""; ""2. The Algebraist's Î? and 2-Categories""; ""3. The Algebraist's Î? and Monoidal Categories""; ""4. Simplicial Sets""; ""5. Semi- Simplicial Sets""; ""6. Analysing Products of Simplicial Sets-the Theory of Shuffles""; ""Chapter 2. A Little Categorical Background""; ""1. Reflective Full Subcategories""; ""2. LFP-Categories and LE-Theories""
""Chapter 3. Double Categories, 2-Categories and n-Categories""""1. Categories in the Small""; ""2. Double Categories""; ""3. 2-Categories and Double Categories with Connections""; ""4. n-Categories and Ï?-Categories""; ""Chapter 4. An Introduction to the Decalage Construction""; ""1. Nerves and Decalage""; ""2. Comonad Transformations and Simplicial Reconstruction""; ""Chapter 5. Stratifications and Filterings of Simplicial Sets""; ""1. Stratified Simplicial Sets""; ""2. Superstructures and Filtered Semi- Simplicial Sets""; ""Chapter 6. Pre-Complicial Sets "" ""1. Introducing Pre- Complicial Sets""""2. Tensor Products of Pre- Complicial Sets""; ""3. Pre- Tensors and Preservation of t- Extensions""; ""4. Some Other Preservation Properties""; ""5. A Monoidal Biclosed Structure on Pre- Complicial sets""; ""6. Superstructures of Pre-Complicial Sets""; ""Chapter 7. Complicial Sets""; ""1. Introducing Complicial Sets""; ""2. Glueing Squares and Filling Lemmas""; ""3. Tensor Products and Complicial Sets""; ""4. Superstructures of Complicial Sets""; ""Chapter 8. The Path Category Construction""; ""1. The Complicial Category of Prisms"" ""2. Path Categories and Superstructures""""3. A Complicial Double Category with Connections""; ""Chapter 9. Complicial Decalage Constructions""; ""1. A Decalage Construction on Complicial Sets""; ""2. A Path Construction on Complicially Enriched Categories""; ""3. A Decalage Construction on Complicially Enriched Categories""; ""4. Semi-Simplicial Reconstruction""; ""Chapter 10. Street's Ï?-Categorical Nerve Construction""; ""1. Parity Complexes""; ""2. Collapsers and Stratified Parity Complexes""; ""3. Ï?-Categorical Nerve Constructions"" ""4. Products of Parity Complexes and the Complicial Tensor""""5. An Inductive Proof of the Street-Roberts Conjecture""; ""Bibliography"" |
| Record Nr. | UNINA-9910480509003321 |
Verity Dominic <1966->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity
| Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity |
| Autore | Verity Dominic <1966-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 512/.62 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Categories (Mathematics)
Algebraic topology |
| ISBN | 1-4704-0511-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Historical Background""; ""Relationships to Other Work""; ""Overview and Structure""; ""Chapter 1. Simplicial Operators and Simplicial Sets""; ""1. Simplicial Operators""; ""2. The Algebraist's Î? and 2-Categories""; ""3. The Algebraist's Î? and Monoidal Categories""; ""4. Simplicial Sets""; ""5. Semi- Simplicial Sets""; ""6. Analysing Products of Simplicial Sets-the Theory of Shuffles""; ""Chapter 2. A Little Categorical Background""; ""1. Reflective Full Subcategories""; ""2. LFP-Categories and LE-Theories""
""Chapter 3. Double Categories, 2-Categories and n-Categories""""1. Categories in the Small""; ""2. Double Categories""; ""3. 2-Categories and Double Categories with Connections""; ""4. n-Categories and Ï?-Categories""; ""Chapter 4. An Introduction to the Decalage Construction""; ""1. Nerves and Decalage""; ""2. Comonad Transformations and Simplicial Reconstruction""; ""Chapter 5. Stratifications and Filterings of Simplicial Sets""; ""1. Stratified Simplicial Sets""; ""2. Superstructures and Filtered Semi- Simplicial Sets""; ""Chapter 6. Pre-Complicial Sets "" ""1. Introducing Pre- Complicial Sets""""2. Tensor Products of Pre- Complicial Sets""; ""3. Pre- Tensors and Preservation of t- Extensions""; ""4. Some Other Preservation Properties""; ""5. A Monoidal Biclosed Structure on Pre- Complicial sets""; ""6. Superstructures of Pre-Complicial Sets""; ""Chapter 7. Complicial Sets""; ""1. Introducing Complicial Sets""; ""2. Glueing Squares and Filling Lemmas""; ""3. Tensor Products and Complicial Sets""; ""4. Superstructures of Complicial Sets""; ""Chapter 8. The Path Category Construction""; ""1. The Complicial Category of Prisms"" ""2. Path Categories and Superstructures""""3. A Complicial Double Category with Connections""; ""Chapter 9. Complicial Decalage Constructions""; ""1. A Decalage Construction on Complicial Sets""; ""2. A Path Construction on Complicially Enriched Categories""; ""3. A Decalage Construction on Complicially Enriched Categories""; ""4. Semi-Simplicial Reconstruction""; ""Chapter 10. Street's Ï?-Categorical Nerve Construction""; ""1. Parity Complexes""; ""2. Collapsers and Stratified Parity Complexes""; ""3. Ï?-Categorical Nerve Constructions"" ""4. Products of Parity Complexes and the Complicial Tensor""""5. An Inductive Proof of the Street-Roberts Conjecture""; ""Bibliography"" |
| Record Nr. | UNINA-9910788852403321 |
Verity Dominic <1966->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity
| Complicial sets characterising the simplical nerves of strict [omega]-categories / / Dominic Verity |
| Autore | Verity Dominic <1966-> |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2008] |
| Descrizione fisica | 1 online resource (184 p.) |
| Disciplina | 512/.62 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Categories (Mathematics)
Algebraic topology |
| ISBN | 1-4704-0511-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Historical Background""; ""Relationships to Other Work""; ""Overview and Structure""; ""Chapter 1. Simplicial Operators and Simplicial Sets""; ""1. Simplicial Operators""; ""2. The Algebraist's Î? and 2-Categories""; ""3. The Algebraist's Î? and Monoidal Categories""; ""4. Simplicial Sets""; ""5. Semi- Simplicial Sets""; ""6. Analysing Products of Simplicial Sets-the Theory of Shuffles""; ""Chapter 2. A Little Categorical Background""; ""1. Reflective Full Subcategories""; ""2. LFP-Categories and LE-Theories""
""Chapter 3. Double Categories, 2-Categories and n-Categories""""1. Categories in the Small""; ""2. Double Categories""; ""3. 2-Categories and Double Categories with Connections""; ""4. n-Categories and Ï?-Categories""; ""Chapter 4. An Introduction to the Decalage Construction""; ""1. Nerves and Decalage""; ""2. Comonad Transformations and Simplicial Reconstruction""; ""Chapter 5. Stratifications and Filterings of Simplicial Sets""; ""1. Stratified Simplicial Sets""; ""2. Superstructures and Filtered Semi- Simplicial Sets""; ""Chapter 6. Pre-Complicial Sets "" ""1. Introducing Pre- Complicial Sets""""2. Tensor Products of Pre- Complicial Sets""; ""3. Pre- Tensors and Preservation of t- Extensions""; ""4. Some Other Preservation Properties""; ""5. A Monoidal Biclosed Structure on Pre- Complicial sets""; ""6. Superstructures of Pre-Complicial Sets""; ""Chapter 7. Complicial Sets""; ""1. Introducing Complicial Sets""; ""2. Glueing Squares and Filling Lemmas""; ""3. Tensor Products and Complicial Sets""; ""4. Superstructures of Complicial Sets""; ""Chapter 8. The Path Category Construction""; ""1. The Complicial Category of Prisms"" ""2. Path Categories and Superstructures""""3. A Complicial Double Category with Connections""; ""Chapter 9. Complicial Decalage Constructions""; ""1. A Decalage Construction on Complicial Sets""; ""2. A Path Construction on Complicially Enriched Categories""; ""3. A Decalage Construction on Complicially Enriched Categories""; ""4. Semi-Simplicial Reconstruction""; ""Chapter 10. Street's Ï?-Categorical Nerve Construction""; ""1. Parity Complexes""; ""2. Collapsers and Stratified Parity Complexes""; ""3. Ï?-Categorical Nerve Constructions"" ""4. Products of Parity Complexes and the Complicial Tensor""""5. An Inductive Proof of the Street-Roberts Conjecture""; ""Bibliography"" |
| Record Nr. | UNINA-9910829176103321 |
Verity Dominic <1966->
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2008] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD
| A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD |
| Autore | Nourani Cyrus F. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Toronto : , : Apple Academic Press, Inc. |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 512/.62 |
| Soggetto topico |
Infinitary languages
Algebraic topology Descriptive set theory Categories (Mathematics) |
| ISBN |
0-429-18873-0
1-4822-3150-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography |
| Record Nr. | UNINA-9910789123403321 |
Nourani Cyrus F.
|
||
| Toronto : , : Apple Academic Press, Inc. | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD
| A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD |
| Autore | Nourani Cyrus F. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Toronto : , : Apple Academic Press, Inc. |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 512/.62 |
| Soggetto topico |
Infinitary languages
Algebraic topology Descriptive set theory Categories (Mathematics) |
| ISBN |
0-429-18873-0
1-4822-3150-6 9780429188732 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography |
| Record Nr. | UNINA-9911091815603321 |
Nourani Cyrus F.
|
||
| Toronto : , : Apple Academic Press, Inc. | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD
| A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / / Cyrus F. Nourani, PhD |
| Autore | Nourani Cyrus F. |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Toronto : , : Apple Academic Press, Inc. |
| Descrizione fisica | 1 online resource (296 p.) |
| Disciplina | 512/.62 |
| Soggetto topico |
Infinitary languages
Algebraic topology Descriptive set theory Categories (Mathematics) |
| ISBN |
0-429-18873-0
1-4822-3150-6 9780429188732 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography |
| Record Nr. | UNINA-9911152150603321 |
| Nourani Cyrus F. | ||
| Toronto : , : Apple Academic Press, Inc. | ||
| Lo trovi qui: Univ. Federico II | ||
| ||