| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910464661203321 |
|
|
Autore |
Gurski Nick <1980-> |
|
|
Titolo |
Coherence in three-dimensional category theory / / Nick Gurski, University of Sheffield [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : , : Cambridge University Press, , 2013 |
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (vii, 278 pages) : digital, PDF file(s) |
|
|
|
|
|
|
Collana |
|
Cambridge tracts in mathematics ; ; 201 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from publisher's bibliographic system (viewed on 05 Oct 2015). |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Dimension three is an important test-bed for hypotheses in higher category theory and occupies something of a unique position in the categorical landscape. At the heart of matters is the coherence theorem, of which this book provides a definitive treatment, as well as covering related results. Along the way the author treats such material as the Gray tensor product and gives a construction of the fundamental 3-groupoid of a space. The book serves as a comprehensive introduction, covering essential material for any student of coherence |
|
|
|
|
|
|
|
|
|
|
|
|
|
and assuming only a basic understanding of higher category theory. It is also a reference point for many key concepts in the field and therefore a vital resource for researchers wishing to apply higher categories or coherence results in fields such as algebraic topology or theoretical computer science. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910407714703321 |
|
|
Autore |
Styhre Alexander |
|
|
Titolo |
Indie Video Game Development Work : Innovation in the Creative Economy / / by Alexander Styhre |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (252 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Management |
Industrial management |
New business enterprises |
Knowledge management |
Management information systems |
Innovation/Technology Management |
Start-Ups/Venture Capital |
Knowledge Management |
Software Management |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Chapter One: The ethnographer’s dilemma: To understand a world that is not your own while avoiding to misrepresenting it -- Part I: Theoretical Perspectives -- Chapter two: Governing innovation led economies: The role of business creation and creativity -- Chapter three: The passionate worker and deeply meaningful work -- Part II: The empirical material -- Chapter four: Who is an indie developer?: |
|
|
|
|
|
|
|
|
|
|
|
Sorting out the categories -- Chapter five: Social norms in the developer community: The ambiguity of money-making -- Chapter six: In the venture capital market: Raising funds and dealing with investors and financiers -- Chapter seven: Expanding the video game concept: The perceptual and epistemological bases of the digital objects -- Chapter eight: Passionate production in the shadow of the market: The prospects of innovation-led growth. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents a study of so-called indie video game developers that are widely regarded as the creative and innovative fringe of the video game industry. The video game industry is an exemplary entrepreneurial high growth industry that combines digital media, cinematographic representations and interactive gaming technologies, and uses global digital distribution channels to reach local gaming communities. The study examines a number of issues, concerns, challenges, and opportunities that indie developers are handling as part of their development work. The love of gaming and video games more specifically is the shared and unifying force of both so-called Triple-A developers and the indie developer community. Still, issues such as how to raise financial capital or otherwise fund the development work, or how to optimize the return on investment when video games are released on digital platforms are issues that indie developers need to cope with. The study is theoretically framed as a case of an innovation-led sector of the economy, yet being anchored in the Swedish welfare state model, wherein e.g., free tertiary education and social insurances and health case at low cost are provided and supportive of enterprising. This book will be valuable reading for academics working in the fields of knowledge management, innovation, and the creative economy. . . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910143602303321 |
|
|
Titolo |
Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers / / edited by Jens Blanck, Vasco Brattka, Peter Hertling |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VIII, 396 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2064 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Database management |
Computer programming |
Algorithms |
Mathematical logic |
Computation by Abstract Devices |
Database Management |
Programming Techniques |
Algorithm Analysis and Problem Complexity |
Mathematical Logic and Formal Languages |
Mathematical Logic and Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Computability and Complexity in Analysis -- Effectivity of Regular Spaces -- The Degree of Unsolvability of a Real Number -- A Survey of Exact Arithmetic Implementations -- Standard Representations of Effective Metric Spaces -- Banach-Mazur Computable Functions on Metric Spaces -- A Generic Root Operation for Exact Real Arithmetic -- Effective Contraction Theorem and Its Application -- Polynomially Time Computable Functions over p-Adic Fields -- On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems -- Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory -- Computing a Required Absolute Precision from a Stream of Linear Fractional Transformations -- ?- |
|
|
|
|
|
|
|
|
|
|
|
Approximable Functions -- Computabilities of Fine-Continuous Functions -- The iRRAM: Exact Arithmetic in C++ -- The Uniformity Conjecture -- Admissible Representations of Limit Spaces -- Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions -- Effective Fixed Point Theorem over a Non-Computably Separable Metric Space -- Computational Dimension of Topological Spaces -- Some Properties of the Effective Uniform Topological Space -- On Computable Metric Spaces Tietze-Urysohn Extension Is Computable -- Is the Linear Schrödinger Propagator Turing Computable? -- A Computable Spectral Theorem -- Report on Competition -- Exact Real Arithmetic Systems: Results of Competition. |
|
|
|
|
|
|
Sommario/riassunto |
|
The workshop on Computability and Complexity in Analysis, CCA 2000, was hosted by the Department of Computer Science of the University of Wales Swansea, September 17{19, 2000. It was the fourth workshop in a successful series of workshops: CCA’95 in Hagen, Germany, CCA’96 in Trier, Germany, and CCA’98 in Brno, Czech Republic. About 40 participants from the countries United Kingdom, Germany, Japan, Italy, Russia, France, Denmark, Greece, and Ireland contributed to the success of this meeting. Altogether, 28 talkswere p- sented in Swansea. These proceedings include 23 papers which represent a cro- section through recent research on computability and complexity in analysis. The workshop succeeded in bringing together people interested in computability and complexity aspects of analysis and in exploring connections with nume- cal methods, physics and, of course, computer science. It was rounded o by a number of talks and papers on exact computer arithmetic and by a competition of v e implemented systems. A report on this competition has been included in these proceedings. We would like to thank the authors for their contributions and the referees for their careful work, and we hope for further inspiring and constructive meetings of the same kind. April 2001 Jens Blanck Vasco Brattka Peter Hertling Organization CCA2000was hosted by the Department of Computer Science of the University of Wales Swansea and took place on September 17{19, 2000. |
|
|
|
|
|
|
|
| |