Commit graph

20 commits

Author SHA1 Message Date
Floris van Doorn
a4d47837ab small change in notes/smash 2018-12-12 23:58:26 -05:00
Floris van Doorn
627deba24b smash.tex: small changes, add some preliminary references 2018-10-02 13:10:41 -04:00
Floris van Doorn
075f12efe2 WIP smash.tex 2018-10-02 13:10:41 -04:00
spiceghello
f835dc896e fix typos 2018-09-07 11:56:49 +02:00
spiceghello
dd14277e0b additions on pentagons with interchange 2018-04-03 19:56:43 -04:00
Floris van Doorn
743985e3d8 Work on pointed naturality of smash-C 2018-01-17 19:17:05 -05:00
spiceghello
5bfb6e8d15 Work on notes on smash product 2018-01-17 19:16:39 -05:00
Floris van Doorn
ac7e75bb9e continue on unit-counit 2018-01-17 19:14:32 -05:00
Floris van Doorn
f92cce42e3 add discussion to notes smash 2018-01-17 19:14:32 -05:00
spiceghello
c1cde3db1c notes, minor 2017-12-06 18:15:31 +01:00
spiceghello
114a296531 notes on smash 2017-12-06 09:19:31 +01:00
spiceghello
31483834f4 notes yoneda 2017-12-04 14:58:17 +01:00
spiceghello
e2ac187822 notes on naturality 2017-12-01 11:59:24 +01:00
spiceghello
3813b17479 Write notes with a mostly-complete proof that the smash product forms a 1-coherent symmetric monoidal category 2017-11-30 18:06:02 +01:00
Floris van Doorn
e87cbbce9e small changes in notes on smash 2017-04-21 17:36:41 -04:00
Floris van Doorn
c0d4bc2cc1 more notes 2017-03-30 17:05:32 -04:00
Floris van Doorn
5d6598c0ae notes smash 2017-03-30 17:05:28 -04:00
Floris van Doorn
b61fb7e685 work on notes 2017-03-30 17:00:15 -04:00
Floris van Doorn
0b55cc6b7c continue notes 2017-03-30 17:00:15 -04:00
Floris van Doorn
9cf51e98cd start on notes 2017-03-30 17:00:15 -04:00