There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality.

Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

I and i

Deposits of clastic carbonate-dominated (calciclastic) sedimentary slope systems in the rock record have been identified mostly as linearly-consistent carbonate apron deposits, even though most ancient clastic carbonate slope deposits fit the submarine fan systems better. Calciclastic submarine fans are consequently rarely described and are poorly understood. Subsequently, very little is known especially in mud-dominated calciclastic submarine fan systems. Presented in this study are a sedimentological core and petrographic characterisation of samples from eleven boreholes from the Lower Carboniferous of Bowland Basin (Northwest England) that reveals a >250 m thick calciturbidite complex deposited in a calciclastic submarine fan setting. Seven facies are recognised from core and thin section characterisation and are grouped into three carbonate turbidite sequences. They include: 1) Calciturbidites, comprising mostly of highto low-density, wavy-laminated bioclast-rich facies; 2) low-density densite mudstones which are characterised by planar laminated and unlaminated muddominated facies; and 3) Calcidebrites which are muddy or hyper-concentrated debrisflow deposits occurring as poorly-sorted, chaotic, mud-supported floatstones. These

Phd by thesis

Evolutionary psychology is one of many biologically informed approaches to the study of human behavior. Along with cognitive psychologists, evolutionary psychologists propose that much, if not all, of our behavior can be explained by appeal to internal psychological mechanisms. What distinguishes evolutionary psychologists from many cognitive psychologists is the proposal that the relevant internal mechanisms are adaptations—products of natural selection—that helped our ancestors get around the world, survive and reproduce. To understand the central claims of evolutionary psychology we require an understanding of some key concepts in evolutionary biology, cognitive psychology, philosophy of science and philosophy of mind. Philosophers are interested in evolutionary psychology for a number of reasons. For philosophers of science —mostly philosophers of biology—evolutionary psychology provides a critical target. There is a broad consensus among philosophers of science that evolutionary psychology is a deeply flawed enterprise. For philosophers of mind and cognitive science evolutionary psychology has been a source of empirical hypotheses about cognitive architecture and specific components of that architecture. Philosophers of mind are also critical of evolutionary psychology but their criticisms are not as all-encompassing as those presented by philosophers of biology. Evolutionary psychology is also invoked by philosophers interested in moral psychology both as a source of empirical hypotheses and as a critical target.

/pdf/stanford-encyclopedia-of-philosophy-1wqoykisq0.pdf

Stanford Encyclopedia of Philosophy

Linear logic was introduced by Girard in 1987 [11] . Since then many results have supported Girard' s statement, \"Linear logic is a resource conscious logic,\" and related slogans . Increasingly, computer scientists have come to recognize linear logic as an expressive and powerful logic with connection s to a variety of topics in computer science . This column presents a.n intuitive overview of linear logic, some recent theoretical results, an d summarizes several applications of linear logic to computer science . Other introductions to linear logic may be found in [12, 361 .

Linear logic

An Introduction to Homological Algebra discusses the origins of algebraic topology. It also presents the study of homological algebra as a two-stage affair. First, one must learn the language of Ext and Tor and what it describes. Second, one must be able to compute these things, and often, this involves yet another language: spectral sequences. Homological algebra is an accessible subject to those who wish to learn it, and this book is the author's attempt to make it lovable. This book comprises 11 chapters, with an introductory chapter that focuses on line integrals and independence of path, categories and functors, tensor products, and singular homology. Succeeding chapters discuss Hom and ?; projectives, injectives, and flats; specific rings; extensions of groups; homology; Ext; Tor; son of specific rings; the return of cohomology of groups; and spectral sequences, such as bicomplexes, Kunneth Theorems, and Grothendieck Spectral Sequences. This book will be of interest to practitioners in the field of pure and applied mathematics.

An Introduction to Homological Algebra

(1958). The Mathematics of Sentence Structure. The American Mathematical Monthly: Vol. 65, No. 3, pp. 154-170.

The Mathematics of Sentence Structure

Preface Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories Bibliography Author index Subject index.

Introduction to higher order categorical logic

This book is an introduction to the theory of associative rings and their modules, designed primarily for graduate students. The standard topics on the structure of rings are covered, with a particular emphasis on the concept of the complete ring of quotients. A survey of the fundamental concepts of algebras in the first chapter helps to make the treatment self-contained. The topics covered include selected results on Boolean and other commutative rings, the classical structure theory of associative rings, injective modules, and rings of quotients. The final chapter provides an introduction to homological algebra. Besides three appendices on further results, there is a six-page section of historical comments. Table of Contents: Fundamental Concepts of Algebra: 1.1 Rings and related algebraic systems; 1.2 Subrings, homomorphisms, ideals; 1.3 Modules, direct products, and direct sums; 1.4 Classical isomorphism theorems. Selected Topics on Commutative Rings: 2.1 Prime ideals in commutative rings; 2.2 Prime ideals in special commutative rings; 2.3 The complete ring of quotients of a commutative ring; 2.4 Rings of quotients of commutative semiprime rings; 2.5 Prime ideal spaces. Classical Theory of Associative Rings: 3.1 Primitive rings; 3.2 Radicals; 3.3 Completely reducible modules; 3.4 Completely reducible rings; 3.5 Artinian and Noetherian rings; 3.6 On lifting idempotents; 3.7 Local and semiperfect rings. Injectivity and Related Concepts: 4.1 Projective modules; 4.2 Injective modules; 4.3 The complete ring of quotients; 4.4 Rings of endomorphisms of injective modules; 4.5 Regular rings of quotients; 4.6 Classical rings of quotients; 4.7 The Faith-Utumi theorem. Introduction to Homological Algebra: 5.1 Tensor products of modules; 5.2 Hom and $\otimes$ as functors; 5.3 Exact sequences; 5.4 Flat modules; 5.5 Torsion and extension products. Appendixes; Comments; Bibliography; Index. Review from Zentralblatt Math: Due to their clarity and intelligible presentation, these lectures on rings and modules are a particularly successful introduction to the surrounding circle of ideas. Review from American Mathematical Monthly: An introduction to associative rings and modules which requires of the reader only the mathematical maturity which one would attain in a first-year graduate algebra [course]...in order to make the contents of the book as accessible as possible, the author develops all the fundamentals he will need. In addition to covering the basic topics...the author covers some topics not so readily available to the nonspecialist...the chapters are written to be as independent as possible...[which will be appreciated by] students making their first acquaintance with the subject...one of the most successful features of the book is that it can be read by graduate students with little or no help from a specialist. (CHEL/283.H)

Lectures on Rings and Modules

Some years ago, G. D. Findlay and the author observed a connection between proofs in certain deductive systems and canonical mappings in certain categories [6, see also 8, Appendix II]. It is the object of the present paper to give a more formal expression to this connection. Roughly speaking, the situation is this: While deductive systems may be viewed as free algebras on the category of pre-ordered sets, they may also be used to construct free algebras on the category of all categories in some universe. The crucial step in the argument is the construction of a category whose objects are the terms of a given deductive system and whose maps are equivalence classes of proofs. An equivalence relation is manufactured ad hoc to serve this purpose. However, in the pilot project under investigation, it turns out that two proofs are equivalent if and only if they have the same "scope", in the sense that any method of generalizing one proof (without changing the rules of inference) leads to a generalization of the other. The present investigation is not carried out in all generality. Instead, we take as a pilot project a particular deductive system, which has been called "syntactic calculus" elsewhere [8, 9]. This system possesses a very simple decision procedure ~ la Gentzen, which has the pedagogical advantage of being free from so-called "structural" rules of inference [7]. As has already been pointed out [9], this decision procedure may be lifted to the level of categories, where it corresponds to Bourbaki's method of multilinear mappings. The author plans to pursue this subject further, both by investigating standard constructions ( = triples = monads) on the category of categories in general, and by looking at special deductive systems, in particular at the propositional calculus and its relation to Curry's theory of combinators (see [3, Chapter 9]).

Joachim Lambek

Papers

The Mathematics of Sentence Structure

Introduction to higher order categorical logic

Lectures on Rings and Modules

Deductive systems and categories: I. Syntactic Calculus and Residuated Categories

Deductive systems and categories II. Standard constructions and closed categories