# 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"

#### 608 Citations

Who needs category theory?

- Computer Science, Physics
- Bull. 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. Expand

A Brisk Tour of (Enriched) Category Theory

- Psychology
- 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… Expand

Varieties of chain-complete algebras☆

- Mathematics
- 1980

This paper is an extended version of results and ideas in [78] and 1791. Several of the properties given here for categories of algebras have been previously studied for their underlying base… Expand

An Introduction to Category Theory

- Computer Science, Philosophy
- 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. Expand

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… Expand

A General Framework for Representation

- Computer Science
- 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. Expand

A taste of category theory for computer scientists

- Mathematics
- 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.… Expand

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

- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 2014

The problems in generalizing homomorphisms to be generalized from functions to relations are explained, the work carried out so far is summarized, and calls for a renewed attempt at addressing the problem. Expand

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… Expand

Reflections on the Categorical Foundations of Mathematics

- Mathematics
- 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… Expand

#### 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… Expand

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

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

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