logic and category theory
Czech Academy of Sciences, Prague
Institute of Mathematics
diliberti.math@gmail.com
