The US Senate has a new web page that starts out like this: .... Cruz-Led Investigation Uncovers $2 Billion in Woke DEI Grants at NSF, Releases Full Database U.S. Senate Commerce Committee Chairman Ted Cruz (R-Texas) released a database identifying over 3,400 grants, totaling more than $2.05 billion in federal funding awarded by the National Science Foundation (NSF) during the Biden-Harris administration. This funding was diverted toward questionable projects that promoted Diversity, Equity, and Inclusion (DEI) or advanced neo-Marxist class warfare propaganda. .... One of these claimed "woke DEI grants" is Emily Riehl's project "Homotopical macrocosms for higher category theory". In case you don't know, she's one of the best mathematicians working on category theory in the USA. You can see a complete list of all 3,400 "woke DEI grants" on a spreadsheet which is linked from the Senate web page: https://www.commerce.senate.gov/2025/2/cruz-led-investigation-uncovers-2-billion-in-woke-dei-grants-at-nsf-releases-full-database The offending grants are classified as mentioning one or more of 4 things: social justice, race, gender, and environmental justice. Riehl's grant is flagged as mentioning social justice. She probably got in trouble for the following passage: IN PARALLEL, THE PI HAS CONCRETE PLANS TO CONTINUE HER EXPOSITORY AND OUTREACH WORK WHICH INCLUDE A NEW BOOK (ELEMENTS OF INFINITY-CATEGORY THEORY, JOINT WITH VERITY), LECTURES DIRECTED AT THE GENERAL PUBLIC, SURVEY ARTICLES PREPARED FOR A VARIETY OF AUDIENCES, AND EFFORTS TO IMPROVE ACCESS TO ADVANCED MATHEMATICS, SUCH AS HER SERVICE ON THE EQUITY, DIVERSITY, AND INCLUSION ADVISORY BOARD AT THE BANFF INTERNATIONAL RESEARCH STATION.