Dear friends, Vladimir's paper "C-system of a module over a Jf-relative monad" has been published. You can view the article at https://authors.elsevier.com/a/1gL68_WcdlU5P for the next 49 days. Dan -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/96eb41bd-73af-4d5f-9fad-1032eae94590n%40googlegroups.com.