Not really, sorry :/
I was focusing on the more mundane question of:
I have a spacecraft with a suite of instruments \(S\) that performs a set of observations \(O\). There is a subset of those observations that map to one of two conclusions: \({\t…
For exercise 1.83,
Show that if \( f:P\rightarrow Q \) has a a right adjoint \(g\), then it is unique up to isomorphism. That means, for any other right adjoint \(g'\), we have \(g(q)\cong g'(q)\) for all \(q \in Q\).
I'm having a little trouble g…
Pablo @ 55: is it fair to say, then, that all elements of \(A\) must belong to a ~-connected and ~-closed subset of \(A\)?
I thought of a few possible examples of posets on the train this morning, that are maybe isomorphic to the ones already descr…
For exercise 1.12.3, I'm somewhat confused about how to go about proving this (proofs were never my strong suit). Is it not possible that
$$
\bigcup\limits_{p\in P} A_p = A \cap A_q
$$
where $$q \notin P$$
I.e. if you union all the partitions, t…