A totem

   

Ivan Di Liberti

Ph.D student

Masaryk University

diliberti@math.muni.cz

Adv. prof. Jiří Rosický


Interests

Categorical logic.

Category theory.

Categorical model theory.

Syntax/Semantics dualities.


Research

Talks & Travel Plans

Teaching

Expository Notes