> I do this all the time, and no one complains, but I do not feel that it is right... Perhaps some unease may arise because there are several different concepts involved: 1) Pullback whose opposite is pushout, rather than pushforward. This goes under the heading direct/inverse limits in (usual) categories. 2) Initial/final structures (as in Bourbaki). There is a whole philosophy/machinery about such things: concrete categories. See [The Joy of Cats][1]. 3) Pullback and pushforward of cohomology classes. The algebraic view is that pullback $f^*$ is just the homology functor $h(f)$ applied to the map; and pushforward is something fancy involving integration or Poincare duality. Similarly (but vice versa) for homology. The geometric view is that pullback in both homology and cohomology is given by the category theoretic pullback ((1) above) whereas pushforward in both homology and cohomology is given by composition (not pushout!). Pullback in homology and pushforward in cohomology are defined only for a restricted class of maps (namely those maps that themselves represent cohomology classes). Still, they are just as natural as induced maps, but with respect to a different set of data; so when it comes to composing a pullback with a pushforward (which amounts to a cup or cap-product), transversality has to be applied, which breaks geometric naturality. (With a hint at Steenrod squares. Of course, nothing ever breaks naturality on the algebraic level.) Again, there is a whole philosophy/machinery about this, developed in [Buoncristiano-Rourke-Sanderson, A geometric approach to homology theory][2] (start from Chapter 2). An elementary introduction with pictures is in Chapter 1 of Fenn's *Techniques of Geometric Topology*; another elementary (but partial) introduction is in [Kreck's recent book][3]. A short summary is in section 2 [here][4]. [1]: http://katmat.math.uni-bremen.de/acc/ [2]: http://books.google.com/books?id=fBA8AAAAIAAJ&lpg=PP1&ots=Rr9nixA1cL&dq=Buoncristiano-Rourke-Sanderson%2520A%2520geometric%2520approach%2520to%2520homology%2520theory&pg=PP1#v=onepage&q&f=false [3]: http://www.hausdorff-research-institute.uni-bonn.de/files/kreck-DA.pdf [4]: http://front.math.ucdavis.edu/0612.5082