LIBROS DEL AUTOR: ieke moerdijk

5 resultados para LIBROS DEL AUTOR: ieke moerdijk

  • Simplicial and Dendroidal Homotopy Theory
    Gijs Heuts / Ieke Moerdijk
    This open access book offers a self-contained introduction to the homotopy theory of simplicial and dendroidal sets and spaces. These are essential for the study of categories, operads, and algebraic structure up to coherent homotopy. The dendroidal theory combines the combinatorics of trees with the theory of Quillen model categories. Dendroidal sets are a natural generalizati...
    Disponible

    46,23 €

  • Sets, Models and Proofs
    Ieke Moerdijk / Jaap van Oosten
    This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model theory. Including examples from several areas of mathematics (algebra, linear algebra and analysis), the book illustrates the relevance and usefulness of logic in the study of these subject areas.The authors start with an ...
    Disponible

    46,02 €

  • Simplicial Methods for Operads and Algebraic Geometry
    Bertrand Toën / Ieke Moerdijk
    Lectures on Dendroidal Sets.- Operads.- Trees as operads.- Dendroidal sets.- Tensor product of dendroidal sets.- A Reedy model structure on dendroidal spaces.- Boardman-Vogt resolution and homotopy coherent nerve.- Inner Kan complexes and normal dendroidal sets.- Model structures on dendroidal sets.- Simplicial Presheaves and Derived Algebraic Geometry.- Motivation and objectiv...
    Disponible

    42,10 €

  • Models for Smooth Infinitesimal Analysis
    Gonzalo E. Reyes / Ieke Moerdijk
    The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and ve...
    Disponible

    145,63 €

  • Sheaves in Geometry and Logic
    Ieke Moerdijk / Saunders MacLane
    Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carriers for models of set theory. This text presents topos theory as it has developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of t...
    Disponible

    101,47 €