60 citations · 140 across the 13 of their papers we have counts for
1 paper · 2 filters
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…