Charles Wells (mathematician)
   HOME
*





Charles Wells (mathematician)
Charles Wells (4 May 1937 in Atlanta, Georgia – 17 June 2017) was an American mathematician known for his fundamental contributions to category theory. He was Professor Emeritus of Mathematics at Case Western Reserve University. Wells taught there for about 35 years, with sabbatical interruptions at ETH Zürich (in mathematics) and Oxford University (in computing science). He had a research career in mathematics in finite fields, group theory and category theory. In the last twenty years of this life he had also been interested in thlanguage of mathematicsand related issues concerning teaching and communicating abstract ideas. Publications In addition to his scholarly publications, Wells produced ''A Handbook of Mathematical Discourse,'' which is a dictionary of words and concepts used by mathematicians that are easily misunderstood, explained in a way that laypersons can also appreciate. As a life-long shape note Shape notes are a musical notation designed to facilitate ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Atlanta, Georgia
Atlanta ( ) is the capital and most populous city of the U.S. state of Georgia. It is the seat of Fulton County, the most populous county in Georgia, but its territory falls in both Fulton and DeKalb counties. With a population of 498,715 living within the city limits, it is the eighth most populous city in the Southeast and 38th most populous city in the United States according to the 2020 U.S. census. It is the core of the much larger Atlanta metropolitan area, which is home to more than 6.1 million people, making it the eighth-largest metropolitan area in the United States. Situated among the foothills of the Appalachian Mountains at an elevation of just over above sea level, it features unique topography that includes rolling hills, lush greenery, and the most dense urban tree coverage of any major city in the United States. Atlanta was originally founded as the terminus of a major state-sponsored railroad, but it soon became the convergence point among several rai ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Michael Barr (mathematician)
Michael Barr (born January 22, 1937) is an American mathematician who is the Peter Redpath Emeritus Professor of Pure Mathematics at McGill University. Early life and education He was born in Philadelphia, Pennsylvania, and graduated from the 202nd class of Central High School in June 1954. He graduated from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962. Career Barr taught at Columbia University and the University of Illinois before coming to McGill in 1968. His earlier work was in homological algebra, but his principal research area for a number of years has been category theory. He is well known to theoretical computer scientists for his book ''Category Theory for Computing Science'' with Charles Wells, as well as for the development of *-autonomous categories and Chu space Chu spaces generalize the notion of topological space by dropping the requirements that the set of open sets be closed under union and finite int ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

1937 Births
Events January * January 1 – Anastasio Somoza García becomes President of Nicaragua. * January 5 – Water levels begin to rise in the Ohio River in the United States, leading to the Ohio River flood of 1937, which continues into February, leaving 1 million people homeless and 385 people dead. * January 15 – Spanish Civil War: Second Battle of the Corunna Road ends inconclusively. * January 20 – Second inauguration of Franklin D. Roosevelt: Franklin D. Roosevelt is sworn in for a second term as President of the United States. This is the first time that the United States presidential inauguration occurs on this date; the change is due to the ratification in 1933 of the Twentieth Amendment to the United States Constitution. * January 23 – Moscow Trials: Trial of the Anti-Soviet Trotskyist Center – In the Soviet Union 17 leading Communists go on trial, accused of participating in a plot led by Leon Trotsky to overthrow Joseph Stalin's regime, and assas ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

21st-century American Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman empero ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Sketch (mathematics)
In the mathematical theory of categories, a sketch is a category ''D'', together with a set of cones intended to be limits and a set of cocones intended to be colimits. A model of the sketch in a category ''C'' is a functor :M:D\rightarrow C that takes each specified cone to a limit cone in ''C'' and each specified cocone to a colimit cocone in ''C''. Morphisms of models are natural transformations. Sketches are a general way of specifying structures on the objects of a category, forming a category-theoretic analog to the logical concept of a theory and its models A model is an informative representation of an object, person or system. The term originally denoted the plans of a building in late 16th-century English, and derived via French and Italian ultimately from Latin ''modulus'', a measure. Models c .... They allow multisorted models and models in any category. Sketches were invented in 1968 by Charles Ehresmann, using a different but equivalent definition. There are ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Proceedings Of The American Mathematical Society
''Proceedings of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages. According to the ''Journal Citation Reports'', the journal has a 2018 impact factor of 0.813. Scope ''Proceedings of the American Mathematical Society'' publishes articles from all areas of pure and applied mathematics, including topology, geometry, analysis, algebra, number theory, combinatorics, logic, probability and statistics. Abstracting and indexing This journal is indexed in the following databases:Indexing and archiving notes
2011. American Mathematical Society. *

Advances In Mathematics
''Advances in Mathematics'' is a peer-reviewed scientific journal covering research on pure mathematics. It was established in 1961 by Gian-Carlo Rota. The journal publishes 18 issues each year, in three volumes. At the origin, the journal aimed at publishing articles addressed to a broader "mathematical community", and not only to mathematicians in the author's field. Herbert Busemann writes, in the preface of the first issue, "The need for expository articles addressing either all mathematicians or only those in somewhat related fields has long been felt, but little has been done outside of the USSR. The serial publication ''Advances in Mathematics'' was created in response to this demand." Abstracting and indexing The journal is abstracted and indexed in:Abstracting and Indexing
*

picture info

Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism compos ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Shape Note
Shape notes are a musical notation designed to facilitate congregational and social singing. The notation, introduced in late 18th century England, became a popular teaching device in American singing schools. Shapes were added to the noteheads in written music to help singers find pitches within major and minor scales without the use of more complex information found in key signatures on the staff. Shape notes of various kinds have been used for over two centuries in a variety of music traditions, mostly sacred music but also secular, originating in New England, practiced primarily in the Southern United States for many years, and now experiencing a renaissance in other locations as well. Nomenclature Shape notes have also been called character notes and patent notes, respectfully, and buckwheat notes and dunce notes, pejoratively. Overview The idea behind shape notes is that the parts of a vocal work can be learned more quickly and easily if the music is printed i ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]