The Grothendieck construction between the telescope monad and contextads

Contributed by Kotaro Kamiya

Source files

Download source .zip

root filetelescope-monad.tex · root file112 KiB · SHA-256 ced04252d3fb45b2… · view text

Back to the main record