ceoln @ceoln@qoto.org

Twofer. #Russia

Via Yaroslavl Trofimov:

Putin to Carlson: we do not intend to attack #NATO countries.

Two days later: Russia issues an arrest warrant for the prime minister of a NATO country.

Via @emptywheel:

Is the political press corp too dim-witted to connect #Trump's order that Congress withhold #Ukraine funding to Trump's boast that he promised to let Russia have his way with NATO allies? You realize these are inextricably linked, don't you?

Good morning, world! #catsofmastodon

Let’s not act as if it’s normal for the House Speaker* to refuse to allow a vote on critical national-security legislation that has passed in the Senate by a lopsided bipartisan margin of 70-29. Surely he must let the House vote.

—
*Mike Johnson, Putin’s puppet’s puppet.

#Ukraine

This just keeps getting funnier every time I remember it

Health is one of the ways that Americans are on their own. Do NOT listen to the CDC, the government at large, your healthcare provider, the people in the hospital or the random fucks you know who are telling you it's okay to walk around giving people covid and that getting covid is no big deal.

@arstechnica "Multi-ton robot tried to push through a crowd, so they disabled it to prevent anyone from being injured or killed." Fixed that for you.

Quick remark on the patch topology for constructive point-free topologists.

There is a universal way of transforming a spectral locale into a Stone locale, known as the patch construction, which exhibits the category of Stone locales with continuous maps as a coreflective subcategory of that of spectral locales with spectral maps.

Here a continuous map of spectral locales is called spectral if its defining frame homomorphism maps compact opens to compact opens.

In other words, for any spectral locale A there is a Stone locale Patch A and a continuous map ε : Patch A → A such that any continuous map X → A from a Stone locale X factors uniquely through ε.

Now specialize X to the terminal locale 1, whose frame of opens is the object Ω of truth values.

Then the above universal property says that the "spectral points of A", namely spectral maps 1 → A, are in canonical bijection with the points of Patch A, namely the continuous maps 1 → Patch A.

This is interesting because, classically, A and Patch A have the same points.

To see how badly this fails constructively, consider A = 𝕊 = Sierpinski locale.

The defining frame of the Sierpinski locale can be defined in the following two equivalent ways, and, as is well known, it classifies open sublocales:

(1) The free frame on one generator.

(2) The Scott topology of Ω.

Now we have that Patch 𝕊 ≃ 𝟚 := 1+1.

We know that the frame of the locale 𝟚 is simply the powerset of the set 1+1 (which type theorists may write as Fin 2).

The easiest way to see this is to check that the inclusion ε : 𝟚 → Ω satisfies the above co-universal property.

1/

Several years ago we, as a village, bought 50 acres of land in our village and turned it into a nature reserve. We've planted over 5,000 trees, created three natural ponds, and laid 1.5km of paths for everyone to enjoy (level and wide for wheeled carriages of all type). Beyond this more sculpted 8 acres are a remaining 40 laid to wild. It's a joy to wander around these more rugged areas

#landscapes #scotland #countryside #LandscapePhotograpy

Here is how you can support an author and libraries: Go to your library and ask for my latest book. If they don't have it look perplexed. "What? You don't have Teri's latest book?" See if they'll order it.

If you check out a few of my books that helps keep them on the shelves.

(I am always embarrassed when books come out because I think they are priced too high at first.)

So if a doctor in Texas performs an abortion, they are fined $100K, lose their medical license, and get a life sentence. If a woman in Texas gets an abortion:, she's fined $10K and sentenced to life in prison.

But if a man forces his wife to take abortion pills, it's 180 days jail.

Tell me it's not about controlling women.

https://www.nbcnews.com/news/us-news/texas-attorney-poisoned-pregnant-wife-abortion-medication-sentenced-18-rcna138065