<div dir="ltr">So Chris gave a counterexample to the assertion that crossing with a circle satisfies 7.7.5 i-iii but not iv?<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 1, 2014 at 1:28 AM, Jason Gross <span dir="ltr"><<a href="mailto:jasongross9@gmail.com" target="_blank">jasongross9@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi,<div>This week, we talked about a variety of things, including how to construct the circle as the homotopy colimit of a diagram containing only the unit type, the difference between homotopy colimits and (regular) colimits, the homotopy groups of spheres, the univalence axiom for categories, simplicial types, and various problems with defining infinity categories in HoTT. (I referenced some posts by Mike Shulman, which are available <a href="http://golem.ph.utexas.edu/category/2012/06/directed_homotopy_type_theory.html" target="_blank">here</a>, <a href="https://golem.ph.utexas.edu/category/2013/03/category_theory_in_homotopy_ty.html" target="_blank">here</a>, and <a href="http://homotopytypetheory.org/2014/03/03/hott-should-eat-itself/" target="_blank">here</a>.) We also talked about whether or not one of the axioms for the definition of a modality is redundant, and Chris came up with a counter-example to an idea I had about product-with-the-circle.</div>
<div><br></div><div>For next week, please, again, have read chapter 7 (homotopy n-types). The exercises I suggested last time were 7.1, 7.2, and 7.12. If you're looking for more exercises, feel free to also try 7.5 and 7.14. You can also think about whether or not 7.7.5(iv) is redundant.</div>
<span class="HOEnZb"><font color="#888888">
<div><br></div><div>-Jason </div></font></span></div>
<br>_______________________________________________<br>
HoTT-reading-group mailing list<br>
<a href="mailto:HoTT-reading-group@mit.edu">HoTT-reading-group@mit.edu</a><br>
<a href="http://mailman.mit.edu/mailman/listinfo/hott-reading-group" target="_blank">http://mailman.mit.edu/mailman/listinfo/hott-reading-group</a><br>
<br></blockquote></div><br></div>