How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey

First Page		Document Content
Date: 2016-07-30 09:35:21 Algebra Mathematics Abstract algebra Semigroup theory Monoidal categories Functional programming Programming idioms Algebraic structures Monoid Monad Functor Semigroup action		How to Twist Pointers without Breaking Them Satvik Chauhan ∗ Piyush P. Kurur Brent A. Yorgey Add to Reading List Source URL: www.cse.iitk.ac.in Download Document from Source Website File Size: 292,50 KB Share Document on Facebook

	SOME DEGENERATE WEAK CATEGORIES PAIGE NORTH Abstract. We consider weak higher categories which have only a single cell in some lower dimensions. We show that bicategories with one 0-cell are monoidal categories, and tric DocID: 1uaAw - View Document
	Skew Monoidal Categories and Grothendieck’s Six Operations by Benjamin James Fuller DocID: 1tMoS - View Document
	Dagger Traced Symmetric Monoidal Categories and Reversible Programming William J. Bowman, Roshan P. James, and Amr Sabry School of Informatics and Computing, Indiana University {wilbowma,rpjames,sabry}@indiana.edu DocID: 1tC1r - View Document
	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& DocID: 1t82F - View Document
	Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th DocID: 1sSGp - View Document