Igor Baković

A working category theorist, working on foundations of mathematics, logic and theoretical computer science.

[Igor Baković @bakovic_igor]

@ququ7 Congratulations my dear friend ❤️❤️❤️

[Igor Baković @bakovic_igor]

@analytichegel The paper was the hardest possible exercise I could choose to prove myself that I can start understanding the most complex structures in the formal category theory…

[Igor Baković @bakovic_igor]

Visiting an old friend at the @Institut_IHES it is hard to describe how grateful and privileged I am to be here after a more than a decade in such a great company

[Igor Baković @bakovic_igor]

@joelwatsonfish @mattecapu Thank you Joel! And I am the one who should be sorry. 😞

[Igor Baković @bakovic_igor]

@joelwatsonfish @mattecapu I truly apologize Joel! Sometimes I get too possessive about my diagrams especially when the intensity of work is overwhelming. I should follow your example and joke more… then I would certainly be more relaxed ☺️

[Igor Baković @bakovic_igor]

@BarbaraFantechi Caravaggio… I like that one ❤️

[Igor Baković @bakovic_igor]

@BarbaraFantechi @mechadense @mattecapu Yes, please.

[Igor Baković @bakovic_igor]

@yandereidiot @mattecapu 😂 I had an opportunity to learn about this and many other secrets personally from the old master in 2012 when I was at the IHES in Paris.

[Igor Baković @bakovic_igor]

@joelwatsonfish @mattecapu A bold and completely wrong statement from someone who was not in the room and even can’t see the whole diagram.

[Igor Baković @bakovic_igor]

@AdrianTMiranda @NoahChrein @mattecapu Exactly. So my intention was to use everything in my paper to vividly describe such situation by using comma 2-categories and keeping the possibility of regarding lax natural transformations in squares which are faces of cubes filled with noninvertible modifications.

[Igor Baković @bakovic_igor]

@BurnZeZ @plectomorphism @mattecapu Well, it’s just a latex code which should serve as a basis of commutative diagrams in Gray-categories along the lines of the theory developed by @AdrianTMiranda for example.

[Igor Baković @bakovic_igor]

@NoahChrein @mattecapu The reason why I didn’t want to do it as you suggest is that these diagrams should be used in a straightforward manner to develop a theory of adjunctions in Gray-categories. You would just need to fill their interiors with suitable modifications to obtain a graphical calculus.

[Igor Baković @bakovic_igor]

@TheoremADayKDA @mattecapu Thank you for noticing that! It was already fixed by a colleague of mine and it will appear on new version on arXiv as soon as I add further comments and adjustments.

[Igor Baković @bakovic_igor]

With @ivandiliberti and Fosco Loregian at ItaCa23 in Torino

[Igor Baković @bakovic_igor]

@HyperboIeva Congratulations!!!!

[Igor Baković @bakovic_igor]

@mattecapu We should talk more regularly 😉

[Igor Baković @bakovic_igor]

@bgavran3 Actually Bénabou extended the equivalence to the one between two 2-categories whose objects are contravariant lax functors from a category B to distributors on one side and functors over B on the other (seen as‘ generalized fibrations’). Indeed it is an enhanced 2-equivalence!

[Igor Baković @bakovic_igor]

@DAlperovitch Desperate times call for desperate measures. Perhaps it was not said in a diplomatic manner but it will certainly be a sobering lecture for her and those who put her in that position.