Experience and Educationis the best concise statement on education ever published by John Dewey, the man acknowledged to be the pre-eminent educational theorist of the twentieth century. Written more than two decades after Democracy and Education(Dewey's most comprehensive statement of his position in educational philosophy), this book demonstrates how Dewey reformulated his ideas as a result of his intervening experience with the progressive schools and in the light of the criticisms his theories had received. Analysing both "traditional" and "progressive" education, Dr. Dewey here insists that neither the old nor the new education is adequate and that each is miseducative because neither of them applies the principles of a carefully developed philosophy of experience. Many pages of this volume illustrate Dr. Dewey's ideas for a philosophy of experience and its relation to education. He particularly urges that all teachers and educators looking for a new movement in education should think in terms of the deeped and larger issues of education rather than in terms of some divisive "ism" about education, even such an "ism" as "progressivism." His philosophy, here expressed in its most essential, most readable form, predicates an American educational system that respects all sources of experience, on that offers a true learning situation that is both historical and social, both orderly and dynamic.

经验与教育 = Experience and education

What is modal logic

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the study of higher versions of Grothendieck topoi. A few applications to classical topology are included.

Higher Topos Theory

Nothing in biology makes sense except in the light of evolution, quipped Theodosius Dobzhansky. The theory of evolution argues that each biological species was not suddenly and independently created but that all life forms are interrelated by virtue of having descended from common ancestors through the accumulation of modifications. Indeed, nothing we know about living organisms would make any sense if they were not so interrelated. And the theory that biological species are descended from common ancestors provides an indispensable heuristic to understand why living organisms are what they are and do what they do.

Nothing in Biology Makes Sense Except in the Light of Evolution

Quasi-categories and Kan complexes

In [6] Brown and Spencer noted that internal categories within the category of groups are equivalent to crossed modules. As they remarked, this result was known to various others before them, but it had not until then appeared in print. That paper led me to investigate the question of which algebraic categories, C, were such that a similar result held i.e. internal categories in C are equivalent to crossed modules of the appropriate type. The resulting work was written up in 1980 but was not submitted for publication.

/pdf/extensions-crossed-modules-and-internal-categories-in-vxxmtsczix.pdf

Extensions, crossed modules and internal categories in categories of groups with operations

Let Top be the category of compactly generated topological spaces and continuous maps. The category, Top, can be given the structure of a simplicially enriched category (or S-category, S being the category of simplicial sets). For A a small category, Vogt (in [22]) constructed a category, Coh (A, Top), of homotopy coherent A-indexed diagrams in Top and homotopy classes of homotopy coherent maps, and proved a theorem identifying this as being equivalent to Ho (TopA), the category obtained from the category of commutative A-indexed diagrams by localizing with respect to the level homotopy equivalences. Thus one of the important consequences of Vogt's result is that it provides concrete coherent models for the formal composites of maps and formal inverses of level homotopy equivalences which are the maps in Ho (TopA). The usefulness of such models and in general of Vogt's results is shown in the series of notes [14–17] by the second author in which those results are applied to give an obstruction theory applicable in prohomotopy theory.

https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0305004100065877

Vogt's theorem on categories of homotopy coherent diagrams

Homotopy Theory Case Studies Exact Sequences Elementary Homotopy Coherence Simple Homotopy Theory Additive Simple Homotopy Theories.

Abstract Homotopy and Simple Homotopy Theory

Shape Theory: Categorical Methods of Approximation

/pdf/homotopy-coherent-category-theory-2zf3delf1b.pdf

Timothy Porter

Papers

Extensions, crossed modules and internal categories in categories of groups with operations

Vogt's theorem on categories of homotopy coherent diagrams

Abstract Homotopy and Simple Homotopy Theory

Shape Theory: Categorical Methods of Approximation

Homotopy coherent category theory