08/10/12 defined subobject classifier, did examples for the
category of Sets, Sets^(1+1), groups acting on sets, monoids
acting on sets 15/10/12 introduced sieves, proved the bijection
between sieves on C and subfunctors of yC, did the subobject
classifier in the general case of Sets^(C^op) introduced sheaves
(of sets) for topological spaces, partially discussed
sheafification 22/10/12 discussed the subobject classifier in
simplicial sets (as \n."co-scott-topology on 2^n), discussed a
generalization of the subobject classifier for graphs, tried to
find the connection. Tried to get it by collapsing standard
simplices, calculated the number of antichains in 2^n and
concluded that the collapsing will not work for cardinality
reasons. 29/10/12 Paolo: reviewed smooth manifolds as a source
of examples of bundles (and sheaves), introduced tensor bundles
and general vector bundles, briefly mentioned complex manifolds,
principal bundles and covering maps. Paolo: continued with germs
and sheafification, stated that the