A stability conjecture for the unstable cohomology of SL_n Z, mapping class groups, and Aut(F_n)

In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).Comment: 18 pages. v2: final version, to appear in Algebraic Topology: Applications and New Directions, AMS Contemporary Mathematics Serie

Cohomology for Anyone

Crystallography has proven a rich source of ideas over several centuries. Among the many ways of looking at space groups, N. David Mermin has pioneered the Fourier-space approach. Recently, we have supplemented this approach with methods borrowed from algebraic topology. We now show what topology, which studies global properties of manifolds, has to do with crystallography. No mathematics is assumed beyond what the typical physics or crystallography student will have seen of group theory; in particular, the reader need not have any prior exposure to topology or to cohomology of groups.Comment: 21 pages + figures, bibliography, Mathematica code homology.

Category theory : definitions and examples

Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic. In recent years, it has found several applications in computer science, e.g., algebraic specification, type theory, and programming language semantics. In this paper, we collect definitions and examples of the basic concepts in category theory: categories, functors, natural transformations, universal properties, limits, and adjoints