date:  Shyamal Sengupta
title:  Science as a Culture - Its Implications [^1]

Science as a methodology for probing the secrets of nature is well known. During the last four hundred years science has created a gigantic store house of exact knowledge of the physical world. On the other hand science as a technology has maximised the use of scientific knowledge to transform the economic conduction of the society.

There is a third aspect of science which is mostly overlooked and rarely discussed. This is, science as a culture. It has deep and important implications, though not as clearly manifested as the other two. In India, ours is a scattered and mostly ineffective scientific community. So far our community needs are, to a large extent, met by the Western society. I believe one reason for this is, we are lacking, collectively speaking, in scientific culture.
**Science as a Culture** : In 1874 Francis Galton, the father of biometry, carried out a survey of 180 top ranking scientists of England and Wales. The result was published in a book entitled English Men of Science. Their Nature and Nurture. Some of the findings on the religious belief of scientists were as follows.

-   Eight out of ten scientist were members of the conventional church of England.

-   Most of them showed a concern for human welfare much above the average people.

-   Even these, who categorically stated, they had a religious bend, did not believe in the christian doctrine of original sin and the doctrine of life after death.

A typical answer was *"though I believe in Christian religion, I do not accept the authority of the Church to teach me how I can attain emancipation. I strongly deny any interference with my freedom of thought and the freedom of my conscience."* It was clear, the study of science was changing the outlook of scientists in matters not directly connected with science. This we call the ***cultural aspects of science***. The study of science affects a scientist's thinking on life in general, his judgements, his value system. However, such an effect seems possible only if the pursuit of science is inspired at least partly, by the primary motivation. Today, particularly in developing countries like India, many persons take to science because of money, fame, power or for some other secondary reasons. In such cases it is possible to develop a compartmentalised approach, not allowing scientific thinking to percolate into one's religious or cultural beliefs. A scientific community can tolerate only a limited number of such workers. If the number is large, the community ceases to be effective.

The primary motivation for science starts from a natural curiosity about the objective world and if properly nurtured, turns into a passion for problem solving. Inability to arrive at a solution is sometimes so discomforting that if some one else gives the solution, one feels relieved and delighted, even though one misses the credit. When one really enjoys scientific activity, the solution of a problem becomes of primary importance, who solves the problem is relegated to the second place. One need not be a selfless idealist to achieve this cultural state of the mind. It seems natural when one is working in the right atmosphere of a scientific community where the primary emphasis is on knowledge rather than on the individual. Those who contribute to scientific knowledge are important, but the totality of this knowledge is far more significant. As Edwin Hubble remarked in his book "The Realm of the Nebulae," - *"Today the least of the men of science commands a wider prospect (than Newton). Even the giants are dwarfed by the great edifice in which their achievements are incorporated."*

The emergence of such an objective mind is an important contribution of science to human culture. To such a mind, facts are sacred and statements based on facts are the only ones worthy of examination. Accurate and reproducible facts are the basic elements on which the grand cumulative edifice of scientific knowledge stands. Conceptual and theoretical notions about the objective world undergo abrupt changes as theories advance. But facts do not change, they are made more and more accurate. Alteration, distortion, or selective choice of facts to fit a particular theory or idea is highly unethical in the culture of science.

The habit of objective thinking has overtones beyond the realm of science. For example, it offers a new perspective to look at outstanding scientists for personalities in other spheres such that their image can never be moulded in pattern with the spiritual concept of an infallible guru. A successful scientist is highly respected for his achievement, but this does not prevent the community to reject or criticize his other ideas which are not supported by facts. Galileo's brilliant studies in mechanics does not justify his theory that tides are caused by the earth's rotation. Success of Newton's gravitational theory does not justify his corpuscular theory of light. Nobody is infallible and authority cannot be sited as proof. Indeed, these ideas mark a big step forward in the domain of human culture.

Coming to the group of talented scientific workers who constitute the core of the scientific community, objective attitude makes at possible for two or more persons to collaborate in solving a problem, though they may not like each other because of differences in temperament. This is possible only when all the collaborators agree that the solution of the problem is urgent and important. Without such collaborative efforts a meaningful scientific community cannot be created and it would have been impossible for science to make the gigantic progress we see now. The science community acting as a wonderful sieve has allowed only the objective contributions from individual scientists to enter the palace of scientific knowledge, leaving out their oddities and subjective inclinations. When we think of Kepler constructing a horoscope of the cosmos, Newton spending a huge lot of time on theology and Einstein preoccupied with pure mathematical constructions of the mind as gateway to understanding nature, then only can we appreciate the true significance of the important role played by the science community.

We have mentioned about ethics in science in connection with importance of facts. As science was growing slowly in Europe, a well defined ethical standard was also emerging. This standard is not implemented by law, indeed there is no codified statement about the ethical principles to be observed. These evolved as conventions and were implemented through community reactions. An unethical referee may reject a good paper and steal the idea to write a paper himself. But the community reaction would be so strong that few venture to take the risk. A few years back Nature published a paper, reporting highly doubtful experimental results, on 'water has memory'. The scientific community reacted so strongly that the editor had to institute an enquiry committee and ultimately he expressed regret and declared - "regard the paper as unpublished." Similar reactions were generated when supposed results of cold fusion experiments were first declared, not in a paper, but in a press conference. Weakness of our scientific community is shown by the fact that departure from ethics in India is quite frequent and go mostly unpunished. This is why some years ago a society for scientific values was set up by Professor A.S. Paintal. We do not go into further details. It is hoped that from the brief discussion given above the reader can develop a broad understanding of the nature of scientific culture.
**Implications :** Our assertion is not that science is such a distinct culture that successful studies of science cannot be carried out in the background of the culture of our society. In fact science has spread beyond the realm of Western culture, as in Japan. The point is, essential elements of scientific culture have to be integrated within the existing culture for developing an effective scientific community in the country. May be, in the long run, interaction between the two would modify both to some extent.

1900 to 1930 is the so called golden age of physics in India. A few Indian physicists, starting with Professor J.C. Bose, achieved remarkable success and received international acclaim.

Considering the Indian background, the whole phenomenon seemed a miracle. The dazzling event boosted our national pride and deeply impressed young Indian physicists of subsequent generations. Unfortunately there was also a different fall out. Instead of interpreting the event as exceptional, we developed the notion that this is the normal way discoveries in science are made . As Professor Chandrasekhar puts it, *"..... it gave a false picture, that making discoveries is easy. It had a distorting effect. I mean it was alright in the twenties, but extended into later period, it was not. I started with a totally glamorous view of science that persisted so long as I was in India. But going to England was a shattering experience."*

The normal and continuous development of scientific knowledge occurs through the efforts of a competent and dedicated community of scientists. It is in the background of such a community alone that a genius can flower into full glory. Unfortunately, neither the scientists of the golden era nor any subsequent group gave much though to this problem. Today we have so many people doing physics in our country, but to most of them it is an entirely individualistic pursuit. We miss the sense of adventure in our work. Instead there is isolation and frustration. This is well reflected in a letter Professor K.S. Krishnan wrote to Chandrasekhar in 1936, on the question of latter's return to India from USA.

*"On this side at any rate, I know the condition and with all my optimism and enthusiasm for science. I feel the present scientific atmosphere quite oppressive and it may be an advantage if you postpone your return to India by one or two years."*

Andre Weil, an eminent French mathematician of this century, came to India at a very young age and joined Aligarh Musilim University as head of the department of mathematics in 1930 and stayed for two years. He also visited Dacca University and met Professor S. N. Bose there. In a recollection in 1979 (recorded by Dr. R. Banerjee), Professor Weil commented - *"The early thirties in India was a disturbed period, due to non-coperation movement. Many of us hoped that the upheaval, initially with a political content, could be an occasion for the national leaders for creating a condition for the flourishment of new ideas and foundation of scientific studies and research in the country. I am sorry to say that this expectation has not been fulfilled. As I found then, the atmosphere of intrigue that reigned in the universities was paralysing in every sense. I am now retired as a professor, and in my long career, I have seen many examples of intrigues and personal rivalry in University sphere in various continents. But, believe me, what I have witnessed during two years in India exceed by far what I have seen during the rest of my life."* \[We quote Weil's comments at some length because he developed a serious interest in India and its culture. He met, among many Indian leaders, both Tagore and Gandhi. He learnt Sanskrit to read the Gita and the Mahabharata in the original. This comment made in connection with his reminiscences of Professor S. N. Bose is as yet unpublished. I thank Dr.Purnima Sinha, a student of Prof. Bose for sending me a copy of the interview\].

Has the atmosphere changed radically after independence ? There is hardly any indication. When Professor Chandrasekhar was requested to be the chairman of the Atomic Energy Commission after Bhabha's death, he came to India and visited several scientific Institutions and also met many scientists. Ultimately he declined the offer and before leaving India commented, *"the problem is not with money, it is the atmosphere which is discouraging."*

In 1985, in an address before the IPA, Professor Virendra Singh, the chairman, said, *"presently the physics community in the country is rather fragmented. A feeling of isolation is felt by most of the members."*

The above discussion reveals the true significance of science as a culture. We cannot create the right atmosphere for basic scientific activities, both teaching and research unless we have imbibed scientific culture, i.e. unless our minds are genuinely involved with the problem of the objective world, the problems which we discuss either in the class rooms or in research seminars. How this transformation can be achieved is a different and complex problem. It is not within the scope of the present discussion.

We conclude by mentioning another important implication of scientific culture. Most of the existing cultures are based on religion and they originated at a time when little exact knowledge of the physical world existed. After the spectacular advance of modern science it has become more and more difficult to accept these elements; of a culture which are bases on objective falsehood. It is not surprising, this impact is strongest on the christian culture. A few years back, Galileo's case was reopened by the Pope and the mistake in the judgement was admitted. In the case of the shroud of Turin, a shroud believed to be used to cover the body of Jesus Christ after it was removed from the cross, scientists in 1978 wanted a small piece of the shroud to do carbon dating to establish its age. The cardinal of the church refused. But in 1988, the cardinal, of his own accord, sent pieces of the shroud to three laboratories. After testing, it was definitely established that the date of origin was later than 1200 AD, most probably between 1260 to 1390 AD. The myth was exploded. Some years ago, the newly appointed Archbishop in England declared that a person can remain a devout christian without believing in any of the numerous miracles described in the New Testament. Initially there were angry protests with a demand for the removal of the Archbishop. But nothing serious happened. Very recently, on 23rd July 1999, Pope Paul redefined the concept of heaven: it is not a place above the clouds, it is a state of being close to God, as hell is a state of being separated from God. It seems that objective truth creates a psychological pressure on all thinking men which can be relieved only by getting rid of the objectively false beliefs. The process is definitely very slow at present. But may be at some critical stage it would be much faster.

Some day in the distant future, we hope all cultures of the world would free themselves of elements of faith which contradict the objective knowledge of science. Then all cultures will come closer and communication across the cultural barriers will be easier. The age old conflict between the cultures may then be resolved with much less difficulty. Perhaps, this would be the greatest contribution of science to humanity .

[^1]: Inaugural Lecture at 'CMDAYS 99' (held at Jadavpur University, Kolkata, India) by Prof. Shyamal Sengupta


abstract: The CMS experiment at the LHC features the largest Silicon Strip Detector ever built. The impact of the operating conditions and physics requirements on the design choices of the CMS Silicon Tracker is reviewed. The readiness of the Silicon Strip Tracker for the tentatively scheduled CMS commissioning in Summer 2008 is briefly described.
address: (*On Behalf of the CMS Tracker Collaboration)
  Department of Physics and Astronomy, University of California, Riverside, CA 92521, USA*
author: Asish Satpathy
title: Overview and Status of the CMS Silicon Strip Tracker

# Introduction

The Large Hadron Collider(LHC) at CERN is a 14 TeV proton-proton machine steadily getting ready to take data with a design luminosity of $10^{34}$ cm$^{-2}$ sec$^{-1}$, currently scheduled to start in Summer 2008. With an enormous potential physics reach, the Compact Muon Solenoid (CMS) detector is one of the two general purpose detectors at LHC that will independently detect some of Nature's the most interesting phenomena that we are yet to discover.

# Design Overview of the CMS Silicon Strip Tracker

The LHC physics program requires an efficient and precise reconstruction of the tracks of the charged particles with a transverse momentum above 1 GeV in pseudo-rapidity ($|\eta|$) $<$ 2.5. Physics involving heavy flavors requires a precise measurement of secondary vertices and impact parameter for efficient particle identification. Efficient Lepton identification is required together with the CMS electromagnetic calorimeter and muon system. At the design luminosity, the tracker system is expected to operate efficiently in an environment where on average 1000 particles from more than 20 overlapping proton-proton interactions traversing the tracker every 25 ns. Being the closest detector to the interaction point, the system is expected to withstand an unprecedented level of radiation for an expected life of 10 years. All these stringent conditions place the tracker design concept into a challenging technological forefront.

The CMS tracker is composed of a state-of-the-art pixel detector mounted close to the beam pipe and a silicon strip tracker outside the pixel detector. A total of 1,440 pixels modules are mounted in three barrel layers at radii between 4.4 cm and 10.2 cm and 2 end-cap disks on each side of the barrel. A total of 15,148 silicon strip modules are arranged in 10 barrel detection layers extending outward to a radius of 1.1 m and 9 disks on each side of the barrel, extending the acceptance of the tracker up to $|\eta| <2.5$. With about 200 m$^2$ active silicon area, the CMS tracker is the largest silicon tracker ever built.

The basic building block of the Silicon Strip Tracker is called a module. The tracker has 20 different module geometries at its various physical locations designed to operate at -10$^\circ$C. A module consists of four main parts: a support frame, a Kapton strip that delivers the bias voltage to the sensor back plane and insulates the sensor from support frame, the hybrids with front-end electronics and one or two sensors. The sensors are single-sided micro-strip detectors with AC-coupled p-type strips in an n-type bulk. Both single and double-sided modules are used. A double-sided module consists of two single-sided modules glued back to back with a stereo angle of 100 mrad.

Signals from the 512 or 768 silicon strips from a module are processed by four or six APV25 readout chips which are mounted on the front-end hybrid. APV25 is a radiation hard 128 channels chip. Each of these channels consists of a preamplifier coupled to a shaping amplifier that produces a 50 ns CR-RC pulse shape. An analogue circuit for which two operation modes can be chosen processes signals from the level-one trigger. In 'peak' mode, only one data sample is used, while in 'deconvolution' mode three consecutive data samples are re-weighted and summed which gives much shorter pulse useful for correctly identify the bunch crossing during a high luminosity run of LHC. The signals of two APV25 chips are multiplexed onto one data line. The electrical signals are then converted to optical signals in dedicated Analogue-Opto Hybrids, and then digitized and processed by 10 bit ADCs.

The Silicon Strip Tracker is composed of three sub-detectors: Tracker Inner Barrel (TIB)/Tracker Inner Disk (TID), Tracker Outer Barrel (TOB) and Tracker End Cap (TEC). The TIB consists of four concentric cylinders placed at radii of 255.0 mm, 339.0 mm, 418.5 mm, and 498.0 mm, respectively, and extending from -700 mm to +700 mm along the z-axis. The two innermost layers have double-sided modules while the outer two layers have single-sided modules. The TID is composed of three disks per side, with three rings of modules per disk. TOB consists of a single mechanical cylindrical structure supporting 688 module sub-assemblies (from a total of 5200 Silicon modules) called rods. Each rod provides support and cooling for 6 or 12 silicon detector modules, together with their interconnection and readout electronics. The TOB has 6 layers of rods with average radii of 608, 692, 780, 868, 960, and 1080 mm. The cylinder has a total length of 2360 mm and inner and outer radii of 555 mm and 1160 mm respectively so that it goes right around the TIB/TID sub-detector. The TEC$+$ and TEC$-$ (two end caps) consist of wedge shaped carbon fiber support plate called petals which carries up to 28 modules arranged in 7 radial rings on each side. In addition to these seven disks, each of the end-caps contains 2 more disks serving as front/back termination. A total of 6400 modules are mounted on 288 petals to form 18 such disks for TEC$+$ and TEC$-$. The end-caps extend radially from 220 mm to 1135 mm and from $\pm$ 1240 mm to $\pm$`<!-- -->`{=html}2800 mm along the $z$-direction.

# Readiness of the Silicon Strip Tracker for Commissioning with Cosmics

A semi-industrialized organization was developed for module production at various locations in the US and Europe in order to guarantee the uniform quality of the produced modules. Apart from regular diagnostic test, at each production site the modules were subject to long-term test (under bias and thermally cycled: -20$^{\circ}$C $<$ T $<$ +25$^{\circ}$C for 72 hours) to check their stability in time to qualify them for final integration. Module production for all three detectors components was completed by mid 2006 and then integrated onto petal and rod structures (in the case of TIB, directly onto half-shells). Fully tested rods and petals were then shipped to the integration center for final assembly to the support structure. TOB and TEC$+$ were integrated at a dedicated Tracker Integration Facility (TIF) at CERN. TIB/TID, TEC$+$ and TEC$-$ were integrated separately and later installed to the tracker support structure. The performance of every single module was compared and validated with data collected before and after integration. The layer integration of TIB/TID was completed in October 2006 and installation into the support tube was completed in January 2007. The performance of the TIB/TID was found to be excellent. In peak operation mode, signal to noise (S/N) ratio is measured to be about 28. The observed total number of dead channels is about 0.2%. Figure 1 shows an example of noise distribution of the entire TOB after rod installation was completed in November 2006. Only less than a tenth of a percent of the total number of silicon strips are found either noisy or dead. The TOB modules have excellent S/N ratio that lie between 36-38 when operated in peak mode. Module production for TEC was completed in August 2006 and petal integration was completed in November 2006. TEC$+$ and TEC$-$ were installed to the tracker support tube (TST) in February 2007 and March 2007 respectively. This operation completes the assembly of the CMS tracker into the TST. The observed performance after TEC module integration was excellent with less than tenth of a percent of noisy strips and two tenth of a percent of dead channels.

The assembled CMS tracker as a single scientific instrument needs operational validation for which a slice of about 15% of the detector was commissioned with cosmic trigger in an environment with close to an actual framework of the CMS software. As shown in Figure 2, nearly 5 million cosmic events were logged at various operating temperatures over a four months period. The cosmic trigger was chosen in such a way that different geometrical acceptance with the combination of TIB, TOB and TEC could be explored. A preliminary analysis of the slice test data has confirmed the expected goals of track parameters. Prior to the slice test, one percent of grade B tracker modules (4 rods, 2 TIB segments and 2 TEC petals) were tested in the CMS 4 T magnetic field with cosmic ray muons, and a lot of experience related to the detector hardware and operation (i.e. tracker service installation, geometry, slow control, safety, monitoring, tracking and software tools) was gained.

# Conclusion and Prospects

Integration of the CMS silicon strip tracker in the support tube is completed and a very successful commissioning of 15% of the tracker with cosmic triggers has just finished. In parallel with the preparatory work to move the tracker to the interaction point at the Point 5 cavern, a detailed systematic study of the data is underway. The overall performance of the tracker is excellent. Efforts are being made to deliver the tracker to the CMS with a goal of full commissioning with Cosmics before LHC turns on.

# References


abstract: This is a short obituary of Saunders Mac Lane (1909–2005).
address:  Sobolev Institute of Mathematics Koptyug Avenue Novosibirsk, 630090 RUSSIA
author: S. S. Kutateladze
date: June 11, 2005
title: Saunders Mac Lane,the Knight of Mathematics

Set theory, category theory, topos, Mac Lane

San Francisco and April 14, 2005 form the terminal place and date of the marvellous almost centennial life of the prominent American mathematician Saunders Mac Lane who shared with Samuel Eilenberg (1913–1998) the honor of creation of category theory which ranks among the most brilliant, controversial, ambitious, and heroic mathematical achievements of the 20th century.

Category theory, alongside set theory, serves as a universal language of modern mathematics. Categories, functors, and natural transformations are widely used in all areas of mathematics, allowing us to look uniformly and consistently on various constructions and formulate the general properties of diverse structures. The impact of category theory is irreducible to the narrow frameworks of its great expressive conveniences. This theory has drastically changed our general outlook on the foundations of mathematics and widened the room of free thinking in mathematics.

Set theory, a great and ingenious creation of Georg Cantor, occupies in the common opinion of the 20th century the place of the sole solid base of modern mathematics. Mathematics becomes sinking into a section of the Cantorian set theory. Most active mathematicians, teachers, and philosophers consider as obvious and undisputable the thesis that mathematics cannot be grounded on anything but set theory. The set-theoretic stance transforms paradoxically into an ironclad dogma, a clear-cut forbiddance of thinking (as L. Feuerbach once put it wittily). Such an indoctrinated view of the foundations of mathematics is false and conspicuously contradicts the leitmotif, nature, and pathos of the essence of all creative contribution of Cantor who wrote as far back as in 1883 that "denn das *Wesen* der *Mathematik* liegt grerade in ihrer*Freiheit*."

It is category theory that one of the most ambitious projects of the 20th century mathematics was realized within in the 1960s, the project of socializing set theory. This led to topos theory providing a profusion of categories of which classical set theory is an ordinary member. Mathematics has acquired infinitely many new degrees of freedom. All these rest on category theory originated with the article by Mac Lane and Eilenberg "General Theory of Natural Equivalences," which was presented to the American Mathematical Society on September 8, 1942 and published in 1945 in the *Transactions of the AMS*.

Mac Lane authored or coauthored more than 100 research papers and 6 books: A Survey of Modern Algebra (1941, 1997; with Garrett Birkhoff); Homology (1963); Algebra (1967; with Garrett Birkhoff); Categories for the Working Mathematician (1971, 1998); Mathematics, Form and Function (1985); Sheaves in Geometry and Logic: A First Introduction to Topos Theory (1992; with Ieke Moerdijk).

Mac Lane was the advisor of 39 Ph.D. theses. Alfred Putman, John Thompson, Irving Kaplansky, Robert Solovay, and many other distinguished scientists are listed as his students. He was elected to the National Academy of Sciences of the USA in 1949 and received the National Medal of Science, the highest scientific award of the USA in 1989. Mac Lane served as vice-president of the National Academy of Sciences and the American Philosophical Society. He was elected as president of the American Mathematical Society and Mathematical Association of America. He contributed greatly to modernization of the teaching programs in mathematics. Mac Lane received many signs of honor from the leading universities of the world and possessed an impressive collection of mathematical awards and prizes. Mac Lane became a living legend of the science of the USA.

Mac Lane was born on August 4, 1909 in Norwich near Taftville, Connecticut in the family of a Congregationalist minister and was christened as Leslie Saunders MacLane. The name Leslie was suggested by his nurse, but his mother disliked the name. A month later, his father put a hand on the head of the son, looked up to the God, and said: "Leslie forget." His father and uncles changed the spelling of their surname and began to write MacLane instead of MacLean in order to avoid sounding Irish. The space in Mac Lane was added by Saunders himself at request of his first wife Dorothy. That is how Mac Lane narrated about his name in A Mathematical Biography which was published soon after his death.

Saunders's father passed away when the boy was 15 and it was Uncle John who supported the boy and paid for his education in Yale. Saunders was firstly fond of chemistry but everything changed after acquaintance with differential and integral calculus by the textbook of Longley and Wilson (which reminds of the later book by Granville, Smith, and Longley). The university years revealed Mac Lane's attraction to philosophy and foundations of mathematics. He was greatly impressed by the brand-new three volumes by Whitehead and Russell, the celebrated Principia Mathematica. The mathematical tastes of Mac Lane were strongly influenced by the lectures of a young assistant professor Oystein Ore, a Norwegian mathematician from the Emmy Noether's school. After graduation from Yale, Mac Lane continued education in the University of Chicago. At that time he was very much influenced by the personalities and research of Eliakim Moore, Leonard Dickson, Gilbert Bliss, Edmund Landau, Marston Morse, and many others. Mac Lane was inclined to wrote a Ph.D. thesis in logic but this was impossible in Chicago and so Saunders decided to continue education in Göttingen.

The stay in Germany in 1931–1933 was decisive for the maturity of Mac Lane's gift and personality. Although David Hilbert had retired, he still delivered weekly lectures on philosophy and relevant general issues. The successor of Hilbert was Hermann Weyl who had recently arrived from Zürich and was in the prime of his years and talents. Weyl advised Saunders to attend the lectures on linear associative algebras by Emmy Noether whom Weyl called "the equal of each of us." In the Mathematical Institute Mac Lane met and boiled with Edmund Landau, Richard Courant, Gustav Herglotz, Otto Neugebauer, Oswald Teichmüller, and many others. Paul Bernays became the advisor of Mac Lane's Ph.D thesis "Abbreviated Proofs in Logic Calculus."

The Nazis gained power in Germany in February 1933. The feast of antisemitism started immediately and one of the first and fiercest strokes fell upon the Mathematical Institute. The young persons are welcome to read as an antidote Mac Lane's masterpiece

"Mathematics at Göttingen under the Nazis"

in the *Notices of the AMS*, **42**:10, 1134–1138 (1995).

In the fall of 1933 Mac Lane returned to the States with Dorothy Jones Mac Lane whom he had married recently in Germany. The further academic career of Mac Lane was mainly tied with Harvard and since 1947 with Chicago.

To evaluate the contribution of Mac Lane to mathematics is an easy and pleasant task. It suffices to cite the words A. G. Kurosh, a renowned Russian professor of Lomonosov State University. In the translator's preface to the Russian edition of the classical Homology book, Kurosh wrote:

-   * The author of this book, a professor of Chicago University, is one of the most prominent American algebraists and topologists. His role in homological algebra as well as category theory is the role of one of the founders of this area.*

Homological algebra implements a marvelous project of algebraization of topological spaces by assigning to such a space $X$ the sequence of (abelian) homology groups $H_n(X)$. Moreover, each continuous map $f: X\to Y$ from $X$ to $Y$ induces a family of homomorphisms of the homology groups $f_n: H_n(X)\to H_n(Y)$. The aim of homological algebra consists in calculation of homologies.

In his research into homological algebra and category theory Mac Lane cooperated with Eilenberg whom he met in 1940. Eilenberg had arrived from Poland two years earlier. He saw the affinity of the algebraic calculations of Mac Lane with those he encountered in algebraic topology. Eilenberg offered cooperation to Mac Lane. The union of Eilenberg and Mac Lane lasted for 14 years and resulted in 15 joint papers which noticeably changed the mathematical appearance of the 20th century.

The pearl of this cooperation was category theory. Mac Lane always considered category theory "a natural and perhaps inevitable aspect of the 20th century mathematical emphasis on axiomatic and abstract methods—especially as those methods when involved in abstract algebra and functional analysis." He stressed that even if Eilenberg and he did not propose this theory it will necessarily appear in the works of other mathematicians. Among these potential inventors of the new conceptions Mac Lane listed Claude Chevalley, Heinz Hopf, Norman Steenrod, Henri Cartan, Charles Ehresmann, and John von Neumann.

In Mac Lane's opinion, the conceptions of category theory were close to the methodological principles of the project of Nicholas Bourbaki. Mac Lane was sympathetic with the project and was very close to joining in but this never happened (the main obstacles were in linguistic facilities). However, even the later membership of Eilenberg in the Bourbaki group could not overcome a shade of slight disinclination and repulsion. It turned out impossible to "categorize Bourbaki" with a theory of non-French origin as Mac Lane had once phrased the matter shrewdly and elegantly. It is worth noting in this respect that the term "category theory" had roots in the mutual interest of its authors in philosophy and, in particular, in the works of Immanuel Kant.

Set theory rules in the present-day mathematics. The buffoon's role of "abstract nonsense" is assigned in mathematics to category theory. History and literature demonstrate to us that the relations between the ruler and the jester may be totally intricate and unpredictable. Something very similar transpires in the interrelations of set theory and category theory and the dependency of one of them on the other.

From a logic standpoint, set theory and category theory are instances of a first order theory. The former deals with sets and the membership relation between them. The latter speaks of objects and morphisms (or arrows). Of course, there is no principle difference between the atomic formulas $a\in b$ and $a\to b$. However, the precipice in meaning is abysmal between the two concepts that are formalized by the two atomic formulas. The stationary universe of Zermelo-Fraenkel, cluttered up with uncountably many copies of equipollent sets confronts the free world of categories, ensembles of arbitrary nature that are determined by the dynamics of their transformations.

The individual dualities of set theory, dependent on the choice of particular realizations of the pairs of objects under study, give up their places to the universal *natural transformations* of category theory. One of the most brilliant achievements of category theory was the development of axiomatic homology theory. Instead of the homological diversity for topological spaces (the simplicial homology for a polyhedron, singular and Čech homology, Vietoris homology, etc.) Eilenberg and Steenrod suggested as far back as in 1952 the new understanding of each homology or cohomology theory as a functor from the category of spaces under consideration to the category of groups. The axiomatic approach to defining such a functor radically changed the manner of further progress in homological algebra and algebraic topology. The study of the homology of Eilenberg–Mac Lane spaces and the method of acyclic models demonstrated the strength of the ideas of category theory and led to universal use of simplicial sets in $K$-theory and sheaves.

In 1948 Mac Lane proposed the concept of abelian category abstracting the categories of abelian groups and vector spaces which played key roles in the first papers on axiomatic homology theory. The abelian categories were rediscovered in 1953 and became a major tool in research into homological algebra by Cartan, Eilenberg, and their followers.

Outstanding advances in category theory are connected with the names of Alexander Grothendieck and F. William Lawvere. Topos theory, their aesthetic creation, appeared in the course of "point elimination" called upon by the challenge of invariance of the objects we study in mathematics. It is on this road that we met the conception of variable sets which led to the notion of topos and the understanding of the social medium of set-theoretic models.

A category is called an *elementary topos* provided that it is cartesian closed and has a suboject classifier. The sources of toposes lie in the theory of sheaves and Grothendieck topology. Further progress of the concept of topos is due to search for some category-theoretic axiomatization of set theory as well as study into forcing and the nonstandard set-theoretic models of Dana Scott, Robert Solovay, and Petr Vopěnka. The new frameworks provide a natural place for the Boolean valued models that are viewed now the toposes with Aristotle logic which pave king's ways to the solution of the problem of the continuum by Kurt Gödel and Paul Cohen. These toposes are now the main arena of Boolean valued analysis.

Bidding farewell to Mac Lane, reading his sincere and openhearted autobiography, enjoying his vehement polemics with Freeman J. Dyson, and perusing his deep last articles on general mathematics, anyone cannot help but share his juvenile devotion and love of mathematics and its creators. His brilliant essays "Despite Physicists, Proof Is Essential in Mathematics" and "Proof, Truth, and Confusion" form an anthem of mathematics which is only possible by proof.

So wrote Saunders Mac Lane, a great genius, creator, master, and servant of mathematics. His unswerving devotion to the ideals of truth and free thinking of our ancient science made him the eternal and tragicomical mathematical Knight of the Sorrowful Figure...