Но есть и хорошие новости

Сказка про голого короля (королеву) больше не актуальна.

Бьянка Сенсори, жена Йе, пришла на Grammys голой.

https://www.the-sun.com/entertainment/13438622/bianca-censori-nude-grammys-red-carpet-dress-kanye-west/

(no subject)

If he succeeds, Trump's disregard for the law is going to create a long-term problem for the country:

Perhaps the biggest test for Congress is Trump’s bid to wrestle power over one of the legislature’s core functions: deciding what programs get funded, and at what cost. In an unprecedented action, the Trump administration offered 2 million federal employees a chance to resign now and receive eight months of pay, implying an expenditure of money not authorized by Congress. Further, Trump and his allies have said they would contest a Nixon-era law that requires him to spend money on programs as appropriated by Congress. Trump allies have said the law is unconstitutional and that the president can impound, or refuse to spend, money for programs he doesn’t like.

The tepid response so far offers the latest measure of how much Congress has ceded its authority since earlier eras in which powerful committee chairmen defended their constitutional turf no matter who was in the White House. Today, Trump dominates his party, and many GOP lawmakers fear that challenging him could cost them their jobs, as the president and his allies could back primary challenges against them.

https://www.wsj.com/politics/policy/trump-kicks-aside-congress-with-sweeping-claims-of-presidential-power-a3daf68b

(no subject)

I keep coming back to this video about the relationship between (pre-)sheafs and cohomology. Here he says that "the number one technique in mathematics is turning any problem into a linear algebra problem.

More generally, Lawvere often talks about mapping geometry to algebra.

https://youtu.be/RPuWHN0BTio?si=U0h7YM-3GlcyvnS5&t=1890



D --> J <-- T ( c: D --> T is the solution to a choice problem, per Lawvere).

d: D --> J
e: T --> J
c: D --> T

This diagram is a regular Kan extension problem, with a cohomology twist, i.e. assigning values to both objects and arrows.