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" 
Who needs category theory?
TLDR
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
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 unifyExpand
Varieties of chain-complete algebras☆
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 baseExpand
An Introduction to Category Theory
TLDR
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
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 GnExpand
A General Framework for Representation
TLDR
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
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
TLDR
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
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 examineExpand
Reflections on the Categorical Foundations of Mathematics
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 membershipExpand
...
1
2
3
4
5
...

References

SHOWING 1-6 OF 6 REFERENCES
Entwicklungen von Räumen und ihren Gruppen
© 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 conditionsExpand
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