activity
20142026
most citedFirst-order homotopical logic

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

math.LO2019★ 1 cited

First-order homotopical logic

Joseph Helfer

We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpre…

math.CT2019

Homotopies in Grothendieck fibrations

Joseph Helfer

We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category , we apply this construction to a…