20 Commits

Author	SHA1	Message	Date
Frederik Hanghøj Iversen	c5020a0d87	Add Chalmers logo to front page	2018-09-11 15:16:14 +02:00
Frederik Hanghøj Iversen	1f750e2275	Erratta	2018-05-28 17:32:56 +02:00
Frederik Hanghøj Iversen	326951d826	Put in brackets for readability	2018-05-24 15:57:30 +02:00
Frederik Hanghøj Iversen	01159930de	Add section on functors and natural transformations ... Also do not use ugly overbar	2018-05-22 13:45:52 +02:00
Frederik Hanghøj Iversen	2fce963072	TENTATIVE COMMIT	2018-05-18 13:14:41 +02:00
Frederik Hanghøj Iversen	8a0ea9f4a5	Use darkorange for all bordercolors	2018-05-15 17:11:01 +02:00
Frederik Hanghøj Iversen	aced19e990	Various changes proposed by Andreas	2018-05-15 16:08:29 +02:00
Frederik Hanghøj Iversen	3d618c001b	Layout headache	2018-05-10 14:10:11 +02:00
Frederik Hanghøj Iversen	ac6e838e48	Move package config to packages.tex	2018-05-10 13:11:07 +02:00
Frederik Hanghøj Iversen	179570edf0	Changes based on Pierre's suggestions	2018-05-09 18:13:36 +02:00
Frederik Hanghøj Iversen	e5d55c7b2b	Include appendices	2018-05-08 16:22:51 +02:00
Frederik Hanghøj Iversen	e18730e0e5	Remove tex warnings	2018-05-08 02:00:23 +02:00
Frederik Hanghøj Iversen	7faf0961c5	Fix spelling mistakes	2018-05-08 00:25:34 +02:00
Frederik Hanghøj Iversen	e8b7a7f17c	Use light variant of source code pro	2018-05-02 13:13:09 +02:00
Frederik Hanghøj Iversen	e89021bc15	Add frontmatter	2018-05-01 21:26:20 +02:00
Frederik Hanghøj Iversen	ef90abb7e3	Finish section on propositionality of products and start on monads	2018-05-01 18:55:28 +02:00
Frederik Hanghøj Iversen	d726159fa0	Stuff about product-category	2018-04-26 10:22:15 +02:00
Frederik Hanghøj Iversen	9a8b09e15f	Change title-page, write stuff about products	2018-04-25 08:21:45 +02:00
Frederik Hanghøj Iversen	f6cf051519	Section about univalence and equivalences	2018-04-23 17:06:09 +02:00
Frederik Hanghøj Iversen	8752b1435d	Update report	2018-03-29 13:32:06 +02:00