13 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
Jonas Frey
We characterize the tripos-to-topos construction of Hyland, Johnstone and Pitts as a biadjunction in a bicategory enriched category of equipment-like structures. These abstract con…