The Synthesis Company of San Francisco Mountain Logo
A note on coinduction functors between categories of comodules for corings | doi.page