2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Quasitoposes encompass a wide range of structures, including various categories of graphs. They have proven to be a natural setting for reasoning about the metatheory of algebraic…