nLab El Mehdi Cherradi

• personal page

Selected writings

On the internal language of locally cartesian closed $(\infty,1)$-categories being Martin-Löf dependent type theory with dependent sum types, identity types, dependent product types, and function extensionality:

• El Mehdi Cherradi, Internal languages of locally cartesian closed $(\infty,1)$-categories [arXiv:2509.03371]

category: people