Homotopy coherent adjunctions and the formal theory of monads

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2016
Source ID
10.1016/j.aim.2015.09.011

Entities

People

  • Dominic Verity
  • Emily Riehl

Organizations

  • Air Force Office of Scientific Research
  • Australian Research Council
  • Defense Advanced Research Projects Agency
  • National Science Foundation