170 citations · 172 across the 5 of their papers we have counts for
1 paper · 1 filter
Tibor Beke, Jiri Rosicky
We introduce the notion of λ-equivalence and λ-embeddings of objects in suitable categories. This notion specializes to L∞λ-equivalence and L∞λ-elementary e…