Office hours No office hour on Monday, Feb. 10; extra office hour 1:00-2:00 on Tuesday, Feb. 11.
Assignment due in lecture on Friday, Feb. 14:
To do but not hand in:
S-1, S-4;
T-2;
U-1.
To hand in:
S-3, S-5, S-6;
T-1 (below);
U-2.
Note. Three harder problems are M-5, N-11, T-3. An original proof of any of these (not a proof from other sources) can be traded for equivalent effort on other homework problems, now or later--ask if you are interested.
Problem
T-1. For the category
of finite distributive
lattices with 0,1-homomorphisms (homomorphisms
with
), and the category
of
finite partially ordered sets with isotone maps, show a
natural duality. Define explicitly whatever functors are
needed, state whatever facts are needed, point out those
that have already been proved during the course, and prove
the rest, briefly.
Problem
T-2. Under the natural duality of the previous problem,
show that a surjection (``onto'' map) in
corresponds
to an injection (one-to-one map) in
and vice-versa.
Problem
T-3. [not assigned!] Let
be the power set
of
modulo finite subsets.
In other words, consider two subsets of
to be
equivalent if they differ by finitely many elements. Show
that any partially ordered set of cardinality
or less can be embedded in
.