Listing 1 - 10 of 15 | << page >> |
Sort by
|
Choose an application
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics,
Mathematical logic --- Toposes. --- Topoi (Mathematics) --- Categories (Mathematics) --- Toposes
Choose an application
In Natural Communication kritisiert der Autor das derzeitige Paradigma der Komplexitätswissenschaften, die Ziele immer spezifisch in den Blick nimmt. Er schlägt eine Alternative vor, die eine grundlegende Architektur der Kommunikation vorstellt. Sein Modell der "natürlichen Kommunikation" schließt moderne theoretische Konzepte aus Mathematik und Physik mit ein, insbesondere der Kategorietheorie und der Quantenmechanik. Er abstrahiert daraus präzise Grundbegriffe, die zu einer terminologischen Basis dieser Theorie führen und die Möglichkeit eröffnen, mit Komplexität neu umzugehen. Der Autor ist davon überzeugt, dass es nur durch einen Blick in die Vergangenheit möglich ist, eine Kontinuität und Kohärenz in unserer gegenwärtigen Denkweise herzustellen, insbesondere in Bezug auf die Komplexität. In Natural Communication, the author criticizes the current paradigm of specific goal orientation in the complexity sciences and proposes an alternative that envisions a fundamental architectonics of communication. His model of "natural communication" encapsulates modern theoretical concepts from mathematics and physics, in particular category theory and quantum theory. From these fields it abstracts precise concepts such as to constitute a terminological basis for this theory which offers the opportunity to open up novel ways of thinking about complexity. The author is convinced that it is only possible to establish a continuity and coherence with contemporary thinking, especially with respect to complexity, through looking into the past.
ARCHITECTURE / Study & Teaching. --- Structural Complexity --- topoi --- sheaves --- adjunction
Choose an application
Pragmatics --- Gemeenplaatsen --- Lieux communs --- Loci communes --- Topic (Philosophy) --- Topica (Filosofie) --- Topiek (Filosofie) --- Topiek [Wijsgerige ] --- Topique (Philosophie) --- Topoi --- Wijsgerige topiek --- Toposes --- Topos (mathématiques) --- THEORIE DU LANGAGE --- TOPOI --- Topos (mathématiques)
Choose an application
Toposes --- 510.6 --- Topoi (Mathematics) --- Categories (Mathematics) --- Mathematical logic --- 510.6 Mathematical logic --- Logique algébrique --- Topos (mathématiques) --- Algebraic logic --- Logique algébrique --- Topos (mathématiques)
Choose an application
Gemeenplaatsen --- Lieux communs --- Loci communes --- Topic (Philosophy) --- Topica (Filosofie) --- Topiek (Filosofie) --- Topiek [Wijsgerige ] --- Topique (Philosophie) --- Topoi --- Wijsgerige topiek --- France --- Politics and government --- Politique et gouvernement --- Préjugés --- Langage politique --- Idées politiques --- Topique (logique) --- 1995-1997
Choose an application
The self-contained theory of certain singular coverings of toposes called complete spreads, that is presented in this volume, is a field of interest to topologists working in knot theory, as well as to various categorists. It extends the complete spreads in topology due to R. H. Fox (1957) but, unlike the classical theory, it emphasizes an unexpected connection with topos distributions in the sense of F. W. Lawvere (1983). The constructions, though often motivated by classical theories, are sometimes quite different from them. Special classes of distributions and of complete spreads, inspired respectively by functional analysis and topology, are studied. Among the former are the probability distributions; the branched coverings are singled out amongst the latter. This volume may also be used as a textbook for an advanced one-year graduate course introducing topos theory with an emphasis on geometric applications. Throughout the authors emphasize open problems. Several routine proofs are left as exercises, but also as ‘exercises’ the reader will find open questions for possible future work in a variety of topics in mathematics that can profit from a categorical approach.
Toposes. --- Topos (Mathématiques) --- Topoi (wiskunde) --- Differentiaaltopologie. --- Toposes --- Categories (Mathematics). --- Electronic books. -- local. --- Differential topology --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Algebra --- Categories (Mathematics) --- Category theory (Mathematics) --- Topoi (Mathematics) --- Mathematics. --- Category theory (Mathematics). --- Homological algebra. --- Algebra. --- Ordered algebraic structures. --- Manifolds (Mathematics). --- Complex manifolds. --- Category Theory, Homological Algebra. --- Manifolds and Cell Complexes (incl. Diff.Topology). --- Order, Lattices, Ordered Algebraic Structures. --- Analytic spaces --- Manifolds (Mathematics) --- Geometry, Differential --- Topology --- Algebraic structures, Ordered --- Structures, Ordered algebraic --- Mathematical analysis --- Homological algebra --- Algebra, Abstract --- Homology theory --- Algebra, Homological --- Algebra, Universal --- Group theory --- Logic, Symbolic and mathematical --- Functor theory --- Math --- Science --- Cell aggregation --- Aggregation, Cell --- Cell patterning --- Cell interaction --- Microbial aggregation
Choose an application
Topology --- 512.58 --- 517.986.6 --- Mappings (Mathematics) --- Toposes --- Topoi (Mathematics) --- Categories (Mathematics) --- Maps (Mathematics) --- Functions --- Functions, Continuous --- Transformations (Mathematics) --- Categories. Category theory --- Harmonic analysis of functions of groups and homogeneous spaces --- 517.986.6 Harmonic analysis of functions of groups and homogeneous spaces --- 512.58 Categories. Category theory --- Toposes. --- Topos (mathématiques) --- Applications (mathématiques)
Choose an application
Gegenstand des Buches sind die literarischen Gemeinplätze (Topoi) in der griechischen mittelalterlichen Heiligenliteratur. Thomas Pratsch bietet hier zum einen eine umfassende Materialsammlung, die eine vollständige Systematik der Topoi enthält. Daneben gelangt er zu neuen Ergebnissen hinsichtlich der Verwendung der Topoi und der Frage ihres historischen Wertes sowie der Entstehung, Überlieferung und Entwicklung griechischer Heiligenviten. Dabei zeichnet er unter anderem die schrittweise Entstehung einer Heiligenvita aus verschiedenen anderen literarischen Formen nach und untermauert aus einem neuen Blickwinkel die These der Kanonisierung der griechischen Heiligenliteratur gegen Ende des 10. und im Laufe des 11. Jahrhunderts. Ein Referenzwerk zur byzantinischen hagiographischen Literatur. This is the first systematic study of literary formulae (topoi) in Greek medieval lives of the saints. Thomas Pratsch compiles a comprehensive collection of material, including a systematic catalogue of the topoi. In his evaluation of them he provides new insights into the genesis, transmission and historical development of the genre of Greek saints' vitae. He traces the gradual development of the vitae from various other literary forms and, working from a new perspective, lends support to the thesis that a canon of Greek lives of the saints became established from the end of the 10th century and into the 11th century. This study is a valuable reference work on Byzantine hagiographic literature.
Christian hagiography --- Byzantine literature --- Hagiographie chrétienne --- Littérature byzantine --- History and criticism. --- Histoire et critique --- History and criticism --- Hagiographie chrétienne --- Littérature byzantine --- Hagiography, Christian --- Hagiography --- Christian hagiography - History and criticism --- Byzantine literature - History and criticism --- Hagiographie byzantine --- Lieux communs --- Greek medieval saints --- literary topoi --- Greek saints vitae
Choose an application
The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.
Category theory. Homological algebra --- Toposes --- Set theory --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Topoi (Mathematics) --- Categories (Mathematics) --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Logic, Symbolic and mathematical. --- Set theory. --- Toposes. --- Topos (mathématiques) --- Logique mathématique --- Théorie des ensembles --- Logique mathématique --- Théorie des ensembles --- Topos (mathématiques) --- Catégories (mathématiques)
Choose an application
Analyse du discours argumentatif --- Argumentatie --- Argumentatie (Debatten en debatteren) --- Argumentation (Debates and debating) --- Argumentation (Débats et discussions) --- Argumentation (Linguistique) --- Argumentation (Public speaking) --- Argumentation dans la langue --- Debates and debating --- Debatten en debatteren --- Discours argumentatif --- Débats et controverses --- Débats et discussions --- Forensics (Public speaking) --- Parole argumentative --- Speading --- Texte -- Argumentation --- Texte argumentatif --- Textes argumentatifs --- Topoï (Linguistique) --- Discourse analysis --- Discours argumentatif. --- Argumentation. --- Débats et controverses. --- Art oratoire. --- Rhétorique. --- Éloquence. --- Communication orale. --- 801.56 --- Syntaxis. Semantiek --- Debates and debating. --- 801.56 Syntaxis. Semantiek
Listing 1 - 10 of 15 | << page >> |
Sort by
|