1![Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University](https://www.pdfsearch.io/img/72367a54317b323699b648dcc1903431.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-03 13:27:17
|
---|
2![Noah Snyder: Research Statement Quantum Algebra and Quantum Topology I work in an area at the intersection of representation theory, low-dimensional topology, higher category theory, and operator algebras which is often Noah Snyder: Research Statement Quantum Algebra and Quantum Topology I work in an area at the intersection of representation theory, low-dimensional topology, higher category theory, and operator algebras which is often](https://www.pdfsearch.io/img/ae8039194ae808d73e8a208d18a87884.jpg) | Add to Reading ListSource URL: pages.iu.eduLanguage: English - Date: 2017-08-30 16:47:33
|
---|
3![Category Theory 1 Categories and functors This is to accompany the reading of 1–7 October and the lecture of 8 October. Please report mistakes and obscurities to . Some questions on these shee Category Theory 1 Categories and functors This is to accompany the reading of 1–7 October and the lecture of 8 October. Please report mistakes and obscurities to . Some questions on these shee](https://www.pdfsearch.io/img/35eac0e619c492bd600ed25e65b18249.jpg) | Add to Reading ListSource URL: cat.boffosocko.comLanguage: English - Date: 2015-06-01 01:08:08
|
---|
4![Category Theory in Context Emily Riehl
Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014 Category Theory in Context Emily Riehl
Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014](https://www.pdfsearch.io/img/33d0e0a0bf005dbb16a324acfc082683.jpg) | Add to Reading ListSource URL: www.math.jhu.eduLanguage: English - Date: 2018-07-23 09:34:58
|
---|
5![CAT axioms CAT001-0.ax Category theory axioms defined(x, y) ⇒ x · y=x ◦ y cnf(closure of composition, axiom) x · y=z ⇒ defined(x, y) cnf(associative property1 , axiom) CAT axioms CAT001-0.ax Category theory axioms defined(x, y) ⇒ x · y=x ◦ y cnf(closure of composition, axiom) x · y=z ⇒ defined(x, y) cnf(associative property1 , axiom)](https://www.pdfsearch.io/img/b25a2c74009b9797e89ef399f5d533bb.jpg) | Add to Reading ListSource URL: math.chapman.eduLanguage: English - Date: 2017-03-18 22:03:46
|
---|
6![A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c](https://www.pdfsearch.io/img/e36ce30f12a9ca55c06aa80e6b364eaa.jpg) | Add to Reading ListSource URL: www.andrew.cmu.edu- Date: 2018-02-12 22:13:01
|
---|
7![Making Category Theory Accessible Eric L. McCorkle November 16, 2016
Category Theory Making Category Theory Accessible Eric L. McCorkle November 16, 2016
Category Theory](https://www.pdfsearch.io/img/cc803540eaad7cce8cace8b976fc1230.jpg) | Add to Reading ListSource URL: ericmccorkleblog.files.wordpress.com- Date: 2016-11-17 14:36:18
|
---|
8![SATELLITE EVENTS ACCAT Applied and Computational Category Theory Category Theory is a well-known powerful mathematical modeling language SATELLITE EVENTS ACCAT Applied and Computational Category Theory Category Theory is a well-known powerful mathematical modeling language](https://www.pdfsearch.io/img/2b4feeddb579ca407f41c05f92b0b5e8.jpg) | Add to Reading ListSource URL: natura.di.uminho.pt- Date: 2006-03-20 07:52:43
|
---|
9![InThinking Theory of Knowledge Workshop IB DP Category 2 Barcelona, Spain Friday 17 - Sunday 19 February 2017 InThinking Theory of Knowledge Workshop IB DP Category 2 Barcelona, Spain Friday 17 - Sunday 19 February 2017](https://www.pdfsearch.io/img/9914636c20eab9e9d99525cf41b376db.jpg) | Add to Reading ListSource URL: www.e.inthinking.net- Date: 2016-12-06 05:31:59
|
---|
10![Basic Category Theory and Topos Theory Jaap van Oosten
Jaap van Oosten Department of Mathematics Basic Category Theory and Topos Theory Jaap van Oosten
Jaap van Oosten Department of Mathematics](https://www.pdfsearch.io/img/6b70f39fe6eb43e98c1d09e440534ce1.jpg) | Add to Reading ListSource URL: www.staff.science.uu.nl- Date: 2016-02-05 09:07:00
|
---|