Wyniki wyszukiwania:

Es sind 39 Bilder in Schwarz-Weiß (Zeichnungen, Holzschnitte et al.), oft sogar von Echtfotovorlagen erschaffen, die ein deutscher protestantischer Missionar hier 1877 benutzt, um andere Christen, andere Missionare und auch daheim wohnende Deutschsprechende über dasjenige China zu informieren, welches er (noch?) in seinen ersten zehn bis elf Missionarsjahren (von später über 33 Jahren insgesamt in China) vorfand. Die Vorgehensweise selbst ist grundsätzlich klug und sinnvoll, wenngleich bestimmte Denkraster einen umfassenden und abgewogenen Blick unmöglich erscheinen lassen. Aufgeklärte...

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that...