
Chanavat, Hadzihasanovic: Semi-strictification of $(\infty, n)$-categories arxiv.org/abs/2507.00146 arxiv.org/pdf/2507.00146 arxiv.org/html/2507.00146
Amar Hadzihasanovic
1.6K posts

@amar_hh
Assistant Professor @TallinnTech. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.

Chanavat, Hadzihasanovic: Semi-strictification of $(\infty, n)$-categories arxiv.org/abs/2507.00146 arxiv.org/pdf/2507.00146 arxiv.org/html/2507.00146

Sharif University of Technology in Tehran, one of Iran’s top science and engineering institutions, was bombed tonight, and a number of schools reportedly damaged. Founded in 1966 (as Aryamehr University), Sharif is a cornerstone of Iran’s scientific and academic life. Striking and destroying universities and schools is not just an attack on buildings,it is an attack on a country’s future.



Hegseth: No quarter, no mercy for our enemies. Yet some in the press just can't stop. More fake news from CNN reports that the Trump administration underestimated the Iran war's impact on the strait of hormuz. The sooner David Ellison takes over that network, the better.

I am delighted that the High Court has ruled in my favour on the key issues in the libel case brought by Raffi Berg. The court rejected the claimant’s interpretation of the article and ruled that it expressed an opinion based on stated material. I stand by my journalism and, if Mr Berg decides to continue the libel claim, I look forward to defending my article in court. I would like to thank my legal team at @RPCLegal, my barrister Aidan Eardley KC, and @DropSiteNews, which published the article and has stood by my journalism throughout.

Category theory is a mathematical way to formalize the relationships between objects. It could provide a powerful method for modeling complex, interconnected systems. Read @nattyover's new Qualia column: quantamagazine.org/can-the-most-a…

Pres Trump told me tonight the US had identified possible candidates to take over Iran, but they were killed in the initial attack. "The attack was so successful it knocked out most of the candidates," Trump told me. "It's not going to be anybody that we were thinking of because they are all dead. Second or third place is dead."

🚨 The final number of dead at the Shajareh Tayyebeh girls’ school in Minab, southern Iran, is 108 school girls, a spokesperson for the Iranian Red Crescent Society said — more than half of the roughly 170 students who attend the school. It remains unclear whether the strike was carried out by the U.S. or Israel. A CENTCOM spokesperson said they were “looking into” the reports. Drop Site reported from the site of the massacre, speaking with families who lost their daughters. The school was reduced to rubble, and dozens of girls were trapped beneath collapsed concrete, with residents digging with their bare hands. Parents wandered through the debris in shock, calling out their children’s names. The full report is below.


Dakota Johnson, Saoirse Ronan, Jessie Buckley and Josh O’Connor to star in the upcoming adaptation of ‘THREE INCESTUOUS SISTERS,’ directed by Alice Rohrwacher. The script is written by Alice Rohrwacher and Ottessa Moshfegh

I am pleased to see the UK is not involved in these strikes on Iran. They are ill-advised and illegal. We will be hit by the consequences though & need to prepare for chaos in the region, with shipping lanes, oil facilities & military bases (including our own) being attacked.

The US ambassador to Israel said Washington is working to neuter the ICC and the International Court of Justice. The statement came after a question from the father of an American mercenary whose son took part in the Gaza genocide, expressing fears of ICC prosecution.