Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

Source URL: www.kestrel.edu

• Lambda calculus
• Theoretical computer science
• Mathematical logic
• Declarative programming
• Adjoint functors
• Anonymous function
• Type theory
• Lambda lifting

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

Source URL: pages.iu.edu

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

Source URL: cat.boffosocko.com

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

Source URL: www.math.jhu.edu

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)

Source URL: math.chapman.edu

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

Source URL: www.andrew.cmu.edu

Making Category Theory Accessible Eric L. McCorkle November 16, 2016 Category Theory

Source URL: ericmccorkleblog.files.wordpress.com

SATELLITE EVENTS ACCAT Applied and Computational Category Theory Category Theory is a well-known powerful mathematical modeling language

Source URL: natura.di.uminho.pt

InThinking Theory of Knowledge Workshop IB DP Category 2 Barcelona, Spain Friday 17 - Sunday 19 February 2017

Source URL: www.e.inthinking.net

Basic Category Theory and Topos Theory Jaap van Oosten Jaap van Oosten Department of Mathematics

Source URL: www.staff.science.uu.nl