Joanna Ko
@0JoannaKo0
Followers
744
Following
5K
Statuses
191
RT @CTpreprintBot: Robin Cockett, Jean-Simon Pacaud Lemay, Priyaa Varshinee Srinivasan "Dagger-Drazin Inverses"
0
1
0
RT @CTpreprintBot: Cihan Okay, Victor Castillo, Walker H. Stern "Simplicial effects and weakly associative partial groups"
0
1
0
I'm really excited to be invited to speak at Higher Invariants. The collision of different schools of Category Theory is wonderful. I can't wait to see more exchange of ideas among different working groups in Category Theory!
1
1
24
Very interesting! Naïve question: Are there possible relationships between different notions of equivalences and different models on DblCat?
I am happy to announce that my paper jww Niels van der Weide, Benedikt Ahrens & Paige Randall North has been published at Computer Science Logic 2025. We show how univalent maths can be used to study intricate (higher) categories & formalize it in Coq
4
0
4
@Vivi_Tawny @esjesjesj Exactly. The world needs to know what happened in South Korea. Many underage girls are suffering from mental breakdown after finding their faces are used in deep fake porns. They're even mocked when they seek help.
0
0
0
RT @0xDesigner: Probably the best thing you'll see today. In 2017, a group of developers hilariously competed for who could create worst v…
0
44K
0
Joint work with Nathanael Arkor and John Bourke, on enhanced limit 2-sketches and their models.
0
1
56
@G_Blanco84 @BraedenSorbo @lporiginalg Government official again. Does the government prefer hiring sex offenders? This seems to be a worldwide phenomenon.
1
0
23
@lporiginalg The law protects sex offenders. Why was that bastard walking freely around, possibly looking for new targets? Why was he allowed to get in touch with the victim's family? If such an absurd system continues, the prison will be filled with good people whereas the evils are outside.
0
0
0