# General theory of natural equivalences

@article{Eilenberg1945GeneralTO, title={General theory of natural equivalences}, author={Samuel Eilenberg and Saunders Maclane}, journal={Transactions of the American Mathematical Society}, year={1945}, volume={58}, pages={231-294} }

JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org. Introduction. The subject matter of this paper is best explained by an example, such as that of the relation between a vector space L and its "dual"

## 645 Citations

### Who needs category theory?

- PsychologyBull. EATCS
- 2018

The goal of this note is to give a high-level explanation of that necessity of category theory, which avoids details and which suggests that the case of topological quantum computing is far from unique.

### A Brisk Tour of (Enriched) Category Theory

- Philosophy
- 2017

In this paper, I will take you on a brief and brisk tour of the theory of (enriched) categories. While we won’t have time to see the theorems of category theory, we will see how the definitions unify…

### An Introduction to Category Theory

- Education
- 2011

This book is an excellent introduction to all of the basics of category theory, and goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions.

### A General Framework for Representation

- Biology
- 2014

This chapter presents a general framework for representation based on category theory, setting the basis for a theory of mental representation, able to relate empirical findings, uniting them into a sound theoretical corpus.

### Expansion in Lifts of Graphs

- Mathematics
- 2015

The central goal of this thesis is to better understand, and explicitly construct, expanding towers G1,G2, . . ., which are expander families with the additional constraint that Gn+1 is a lift of Gn…

### A taste of category theory for computer scientists

- Education
- 1988

Category theory is a field that impinges more and more frequently on the awareness of many computer scientists, especially those with an interest in programming languages and formal specifications.…

### Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages

- MathematicsWACT
- 2013

### The Influence of M. H. Stone on the Origins of Category Theory

- Mathematics
- 1970

This talk is a small piece of historical investigation, intended to be an example of history in the retrospective sense: Starting with some currently active ideas in category theory, it will examine…

### Reflections on the Categorical Foundations of Mathematics

- Philosophy
- 2011

Most practicing mathematicians see no need for the foundations of their subject. But those who wish to place it on a solid ground usually pick set theory, an axiomatic treatment of the membership…

### Comments on the Development of Topos Theory

- Art
- 2000

Summarizing several threads in the development of the Elementary Theory of Toposes in its first 30 years 1970-2000, this historical article prepares the reader for later publication such as…

## References

SHOWING 1-6 OF 6 REFERENCES

### Entwicklungen von Räumen und ihren Gruppen

- Mathematics
- 1937

© Foundation Compositio Mathematica, 1937, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions…

### 00:15 UTC All use subject to JSTOR Terms and Conditions (25) S. Eilenberg and S. MacLane, Group extensions and homology

- This content downloaded from 128.151.244.46 on Thu
- 1943

### General reference: S. Lefschetz, Algebraic topology

- General reference: S. Lefschetz, Algebraic topology
- 1942

### This content downloaded from 128.151.244.46 on Thu, 08 Oct 2015 12:00:15 UTC All use subject to JSTOR Terms and Conditions

- This content downloaded from 128.151.244.46 on Thu, 08 Oct 2015 12:00:15 UTC All use subject to JSTOR Terms and Conditions

### G) and since C (K, I) = I o Cq(K) = Cq(K) where I is the additive group of integers, we have

- G) and since C (K, I) = I o Cq(K) = Cq(K) where I is the additive group of integers, we have