activity
20122021
most citedA co-free construction for elementary doctrines

2 citations · 6 across the 11 of their papers we have counts for

collaborators
Showing 2014Show all

2 papers · 1 filter

math.LO2014

A categorical semantic for the Typed Epsilon Calculus

Fabio Pasquali

We show that every boolean category satisfying AC provides a categorical semantic of the typed Epsilon calculus.

math.CT2014★ 1 cited

Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects

Fabio Pasquali

We give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of tripo…