3 citations · 9 across the 10 of their papers we have counts for
1 paper · 1 filter
Clément Aubert
A non-self-contained gathering of notes on category theory, including the definition of locally cartesian closed category, of the cartesian structure in slice categories, or of the…