Amar Hadzihasanovic (@amar_hh) profile picture

Amar Hadzihasanovic

@amar_hh

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

 Tallinn, Estonia
ioc.ee/~amar/
Joined April 2012
  • Tweets1.6K
  • Following257
  • Followers1.2K
161Media
Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)Photo by Amar Hadzihasanovic (@amar_hh)
Mac Lane's strictification for bicategories is part of the backbone of modern algebra. In the 90s-00s, it was generalised in a couple ways to dim 3. For many years it has been one of my “north stars” to prove a version in all higher dim. Proud to announce one, joint w/ Chanavat:
arXiv math.CT Category Theory (@mathCTbot) profile picturearXiv math.CT Category Theory@mathCTbot2 Jul 2025
Chanavat, Hadzihasanovic: Semi-strictification of $(\infty, n)$-categories arxiv.org/abs/2507.00146 arxiv.org/pdf/2507.00146 arxiv.org/html/2507.00146
Semi-strictification of $(\infty, n)$-categories

Semi-strictification of $(\infty, n)$-categories

We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a...

arxiv.org
1
17
2,409
I maintain that the best metaphor for mathematical work is highly constrained narrative or scriptwriting. Definitions are characters, theorems are plot points, a paper is a script, proof is "tightness" of the script. The goal is to write a good script that is also tight. 1/
3
2
4
34
2,260
more replies
The final Weil conjecture "controversy" can be seen as one author setting up an epic grand saga, and another deciding to write up part of the story as a humorous novella. 11/
1
6
95
But like in literature, good stories are constantly revisited and retold, with each version bringing something new to light. 12/12
1
7
91
Amar Hadzihasanovic retweeted
Alex Kavvos (@lambdabetaeta) profile picture
Alex Kavvos
@lambdabetaetaOct 12
The future is, at once, far more prosaic and far more terrifying than you can imagine
International Cyber Digest (@IntCyberDigest) profile pictureInternational Cyber Digest
@IntCyberDigestOct 12
‼️ BREAKING: Fires broke out after hackers hacked fridges of hundreds of French supermarkets and forced Danfoss controllers to defrost at up to 50°C. Intermarché counts up to 200 stores, Coopérative U fewer than 100. Paris prosecutors opened a probe.
Image from International Cyber Digest (@IntCyberDigest)
Image from International Cyber Digest (@IntCyberDigest)
Image from International Cyber Digest (@IntCyberDigest)
2
3
11
1,363
We participate in a millenary tradition of philosophy and scholarship. Our work is in dialogue with Euclid, al-Khwarizmi, Newton, and Noether. Society can change, but the meaning is the same it always has been: to think thoughts that have never been thought before.
3
14
557
People who spend their lives explaining their made-up jobs and dumb start-up ideas get a kick out of mathematicians having to do the same. I think it's undignified to "justify" our profession. The appropriate answer to "what's the point of your job?" is "fire us and find out".
5
6
1
60
1,991
Seen a bunch of comments along the lines of: "what if it was 400 new medicines and treatments instead of 400 new theorems". I agree. It would be absurd to ever criticise pharmaceutical companies and the healthcare industry.
1
5
429
Yesterday I talked to the NYC Category Theory Seminar about the coherent self-dual omega-equivalence. A recording is available.
Image from Amar Hadzihasanovic (@amar_hh)
1
1
7
1,650
Slides: ioc.ee/~amar/files/talk-nyc-… Video: youtube.com/watch?v=QBUkLOTg…
1
1
1,352
Personally, I hope that AI solves all the Millennium Prize problems and all famous conjectures as soon as possible, because then there will be no more benchmarks to maxx and we will all be free to research what we want.
17
28
8
467
17,995
Amar Hadzihasanovic retweeted
Philip Oldfield (@SustainableTall) profile picture
Philip Oldfield
@SustainableTallSep 8
Apropos to nothing, a thread of some modernist sacred spaces   Peder Vilhelm Jensen-Klint’s remarkable Grundtvigs Kirke, Copenhagen, 1927
Image from Philip Oldfield (@SustainableTall)
createstreets (@createstreets) profile picturecreatestreets@createstreetsSep 8
As always, it is not the words but the pictures that matter. With perhaps one exception, modernism has struggled to create an architecture of the sacred even more profoundly than its wider failure to create places which people find homely and humane.
26
39
9
560
38,284
Load more