Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coherence in three-dimensional category theory / / Nick Gurski, University of Sheffield [[electronic resource]]
| Coherence in three-dimensional category theory / / Nick Gurski, University of Sheffield [[electronic resource]] |
| Autore | Gurski Nick <1980-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (vii, 278 pages) : digital, PDF file(s) |
| Disciplina | 512/.55 |
| Collana | Cambridge tracts in mathematics |
| Soggetto topico | Tricategories |
| ISBN |
1-107-23842-0
1-299-39995-9 1-107-33277-X 1-107-33689-9 1-139-54233-8 1-107-33357-1 1-107-33523-X 1-107-33606-6 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background: Bicategorical background ; Coherence for bicategories ; Gray-categories -- Tricategories: The algebraic definition of tricategory ; Examples ; Free constructions ; Basic structure ; Gray-categories and tricategories ; Coherence via Yoneda ; Coherence via free constructions -- Gray-monads: Codescent in Gray-categories ; Codescent as a weighted colimit ; Gray-monads and their algebras ; The reflection of lax algebras into strict algebras ; A general coherence result. |
| Record Nr. | UNINA-9910789316703321 |
Gurski Nick <1980->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coherence in three-dimensional category theory / / Nick Gurski, University of Sheffield [[electronic resource]]
| Coherence in three-dimensional category theory / / Nick Gurski, University of Sheffield [[electronic resource]] |
| Autore | Gurski Nick <1980-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2013 |
| Descrizione fisica | 1 online resource (vii, 278 pages) : digital, PDF file(s) |
| Disciplina | 512/.55 |
| Collana | Cambridge tracts in mathematics |
| Soggetto topico | Tricategories |
| ISBN |
1-107-23842-0
1-299-39995-9 1-107-33277-X 1-107-33689-9 1-139-54233-8 1-107-33357-1 1-107-33523-X 1-107-33606-6 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Background: Bicategorical background ; Coherence for bicategories ; Gray-categories -- Tricategories: The algebraic definition of tricategory ; Examples ; Free constructions ; Basic structure ; Gray-categories and tricategories ; Coherence via Yoneda ; Coherence via free constructions -- Gray-monads: Codescent in Gray-categories ; Codescent as a weighted colimit ; Gray-monads and their algebras ; The reflection of lax algebras into strict algebras ; A general coherence result. |
| Record Nr. | UNINA-9910815652503321 |
|
Gurski Nick <1980->
|
||
| Cambridge : , : Cambridge University Press, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]]
| Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 311 pages) : digital, PDF file(s) |
| Disciplina | 111/.6 |
| Soggetto topico |
Infinite - History
Mathematics - Philosophy |
| ISBN |
1-139-81429-X
1-283-11268-X 0-511-97688-7 1-139-07842-9 1-139-08069-5 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infinity as a transformative concept in science and theology / Wolfgang Achtner -- The mathematical infinity / Enrico Bombieri -- Warning signs of a possible collapse of contemporary mathematics / Edward Nelson -- The realm of the infinite / W. Hugh Woodin -- A potential subtlety concerning the distinction between determinism and nondeterminism / W. Hugh Woodin -- Concept calculus : much better than / Harvey M. Friedman -- Some considerations on infinity in physics / Carlo Rovelli -- Cosmological intimations of infinity / Anthony Aguirre -- Infinity and the nostalgia of the stars / Marco Bersanelli -- Infinities in cosmology / Michael Heller -- God and infinity : directions for future research / Graham Oppy -- Notes on the concept of the infinite in the history of Western metaphysics / David Bentley Hart -- God and infinity : theological insights from Cantor's mathematics / Robert J. Russell -- A (partially) skeptical response to Hart and Russell / Denys A. Turner. |
| Record Nr. | UNINA-9910790058903321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]]
| Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 311 pages) : digital, PDF file(s) |
| Disciplina | 111/.6 |
| Soggetto topico |
Infinite - History
Mathematics - Philosophy |
| ISBN |
1-139-81429-X
1-283-11268-X 0-511-97688-7 1-139-07842-9 1-139-08069-5 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infinity as a transformative concept in science and theology / Wolfgang Achtner -- The mathematical infinity / Enrico Bombieri -- Warning signs of a possible collapse of contemporary mathematics / Edward Nelson -- The realm of the infinite / W. Hugh Woodin -- A potential subtlety concerning the distinction between determinism and nondeterminism / W. Hugh Woodin -- Concept calculus : much better than / Harvey M. Friedman -- Some considerations on infinity in physics / Carlo Rovelli -- Cosmological intimations of infinity / Anthony Aguirre -- Infinity and the nostalgia of the stars / Marco Bersanelli -- Infinities in cosmology / Michael Heller -- God and infinity : directions for future research / Graham Oppy -- Notes on the concept of the infinite in the history of Western metaphysics / David Bentley Hart -- God and infinity : theological insights from Cantor's mathematics / Robert J. Russell -- A (partially) skeptical response to Hart and Russell / Denys A. Turner. |
| Record Nr. | UNINA-9910826993703321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to category theory / / Harold Simmons [[electronic resource]]
| An introduction to category theory / / Harold Simmons [[electronic resource]] |
| Autore | Simmons Harold |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (ix, 226 pages) : digital, PDF file(s) |
| Disciplina | 512/.62 |
| Soggetto topico | Categories (Mathematics) |
| ISBN |
1-107-22867-0
1-139-23509-5 1-283-38259-8 9786613382597 1-139-18968-9 0-511-86322-5 1-139-19097-0 1-139-18837-2 1-139-18375-3 1-139-18607-8 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: Preface; 1. Categories; 2. Basic gadgetry; 3. Functors and natural transformations; 4. Limits and colimits in general; 5. Adjunctions; 6. Posets and monoid sets; Bibliography; Index. |
| Record Nr. | UNINA-9910781947703321 |
|
Simmons Harold
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An introduction to category theory / / Harold Simmons [[electronic resource]]
| An introduction to category theory / / Harold Simmons [[electronic resource]] |
| Autore | Simmons Harold |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (ix, 226 pages) : digital, PDF file(s) |
| Disciplina | 512/.62 |
| Soggetto topico | Categories (Mathematics) |
| ISBN |
1-107-22867-0
1-139-23509-5 1-283-38259-8 9786613382597 1-139-18968-9 0-511-86322-5 1-139-19097-0 1-139-18837-2 1-139-18375-3 1-139-18607-8 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Machine generated contents note: Preface; 1. Categories; 2. Basic gadgetry; 3. Functors and natural transformations; 4. Limits and colimits in general; 5. Adjunctions; 6. Posets and monoid sets; Bibliography; Index. |
| Record Nr. | UNINA-9910813290403321 |
|
Simmons Harold
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical dynamics of information and interaction / / Johan van Benthem [[electronic resource]]
| Logical dynamics of information and interaction / / Johan van Benthem [[electronic resource]] |
| Autore | Benthem Johan van <1949-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xi, 373 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-107-21746-6
1-283-37848-5 1-139-18903-4 9786613378484 1-139-18775-9 1-139-19034-2 1-139-18312-5 1-139-18544-6 0-511-97453-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography. |
| Altri titoli varianti | Logical Dynamics of Information & Interaction |
| Record Nr. | UNINA-9910781971903321 |
|
Benthem Johan van <1949->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical dynamics of information and interaction / / Johan van Benthem
| Logical dynamics of information and interaction / / Johan van Benthem |
| Autore | Benthem Johan van <1949-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xi, 373 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-107-21746-6
1-283-37848-5 1-139-18903-4 9786613378484 1-139-18775-9 1-139-19034-2 1-139-18312-5 1-139-18544-6 0-511-97453-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography. |
| Altri titoli varianti | Logical Dynamics of Information & Interaction |
| Record Nr. | UNINA-9910956065903321 |
|
Benthem Johan van <1949->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]]
| Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics / / Robert Goldblatt [[electronic resource]] |
| Autore | Goldblatt Robert |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 268 pages) : digital, PDF file(s) |
| Disciplina | 511.3 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Modality (Logic)
Variables (Mathematics) Semantics (Philosophy) Logic, Symbolic and mathematical |
| ISBN |
1-139-09842-X
1-139-09910-8 1-139-10178-1 1-139-09978-7 0-511-86235-0 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction and overview -- Chapter 1. Logics with actualist quantifiers -- Chapter 2. The Barcan formulas -- Chapter 3. The existence predicate -- Chapter 4. Propositional functions and predicate substitution -- Chapter 5. Identity -- Chapter 6. Cover semantics for relevant logic. |
| Altri titoli varianti | Quantifiers, Propositions & Identity |
| Record Nr. | UNINA-9910781962203321 |
|
Goldblatt Robert
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]]
| Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / / edited by Juliette Kennedy, Roman Kossak [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 227 pages) : digital, PDF file(s) |
| Disciplina | 510 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Mathematics - Philosophy |
| ISBN |
1-107-22784-4
1-283-31675-7 1-139-13946-0 9786613316752 1-139-14524-X 1-139-14104-X 1-139-13791-3 0-511-91061-4 1-139-14192-9 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical remarks on Suslin's problem / Akihiro Kanamori -- The continuum hypothesis, the generic-multiverse of sets, and the [OMEGA] conjecture / W. Hugh Woodin -- [omega]-Models of finite set theory / Ali Enayat and James H. Schmerl and Albert Visser -- Tennenbaum's theorem for models of arithmetic / Richard Kaye -- Hierarchies of subsystems of weak arithmetic / Shahram Mohsenipour -- Diophantine correct open induction / Sidney Raffer -- Tennenbaum's theorem and recursive reducts / James H. Schmerl -- History of constructivism in the 20th century / A.S. Troelstra -- A very short history of ultrafinitism / Rose M. Cherubin and Mirco A. Mannucci -- Sue Toledo's notes of her conversations with Gödel in 1972-1975 / Sue Toledo -- Stanley Tennenbaum's Socrates / Curtis Franks -- . Tennenbaum's proof of the irrationality of [the square root of] 2́ / Jouko Väänänen. |
| Altri titoli varianti | Set Theory, Arithmetic, & Foundations of Mathematics |
| Record Nr. | UNINA-9910781970703321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
