8 citations · 45 across the 26 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021
Context, Judgement, Deduction
Greta Coraglia, Ivan Di Liberti
We introduce judgemental theories and their calculi as a general framework to present and study deductive systems. As an exemplification of their expressivity, we approach dependen…
math.AG2021★ 1 cited
Exponentiable Grothendieck categories in flat Algebraic Geometry
Ivan Di Liberti, Julia Ramos González
We introduce and describe the -category of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally pres…