5 papers
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…
Evaluating AI fairness in credit scoring with the BRIO tool
Greta Coraglia, Francesco A. Genco, Pellegrino Piantadosi +4
We present a method for quantitative, in-depth analyses of fairness issues in AI systems with an application to credit scoring. To this aim we use BRIO, a tool for the evaluation o…
A 2-categorical analysis of context comprehension
Greta Coraglia, Jacopo Emmenegger
We consider the equivalence between the two main categorical models for the type-theoretical operation of context comprehension, namely P. Dybjer's categories with families and B.…
Categorical models of subtyping
Greta Coraglia, Jacopo Emmenegger
Most categorical models for dependent types have traditionally been heavily set based: contexts form a category, and for each we have a set of types in said context -- and for each…
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…