2 citations · 3 across the 8 of their papers we have counts for
1 paper · 2 filters
Michael Lambert
A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and…