### Another star-category of funcoids

I’ve introduced another version of cross-composition of funcoids. This forms a category with star-morphisms. It is conjectured that this category is quasi-invertible, because I have failed to prove it. This should be included in the next version of my book.

### The set of funcoids is a co-frame (without axiom of choice)

A mathematician named Todd Trimble has helped me to prove that the set of funcoids between two given sets (and more generally certain pointfree funcoids) is always a co-frame. (I knew this for funcoids but my proof required axiom of choice, while…

### Lattices ComplFCD and ComplRLD are co-brouwerian

I’ve found today earlier stated conjecture that lattices $latex \mathrm{Compl}\mathsf{FCD}(A;B)$ and $latex \mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian. Exercise: Prove this fact.