Monoid - PDFSEARCH.IO - Document Search Engine

Monoid
Results: 308

#	Item
201	Nothing can be fixed Keye Martin Naval Research Laboratory Washington, DC[removed]removed] Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2013-03-09 17:56:21 Structure Semigroup theory Category theory Monoid Complete partial order Domain theory Fixed-point theorem Knaster–Tarski theorem Congruence lattice problem Mathematics Abstract algebra Order theory
202	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-03-11 08:14:50 Category theory Monad Functor Map Natural transformation Monoid List Applicative programming language Strong monad Adjoint functors Abstract algebra Software engineering
203	Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Ecole Normale Sup´erieure de Lyon, France Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 12:42:48 Model theory Category theory Differential topology Algebraic structures Semigroup theory Embedding Symmetry Monoid Structure Mathematics Abstract algebra Algebra
204	Two 2-traces Simon Willerton University of Sheffield Tr& (f ) := Add to Reading List Source URL: www.simonwillerton.staff.shef.ac.uk Language: English - Date: 2008-12-03 15:25:51 Monoidal categories Category theory Abstract algebra Functor Trace Dual Tensor product Monoid Morphism Algebra Mathematics Linear algebra
205	Notes Jason Reed March 15, 2007 – February 8, [removed]Sometimes we take some connective in a position where it is not invertible and by judgmental brute force make it so. For example, taking Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:03:22 Monoidal categories Entailment Monoid Amenable group Symbol PRO Enriched category Orbifold Abstract algebra Algebra Category theory
206	Simon Willerton A DIAGRAMMATIC APPROACH TO HOPF MONADS Simon Willerton* Department of Pure Mathematics University of Sheﬃeld Add to Reading List Source URL: ajse.kfupm.edu.sa Language: English - Date: 2011-04-18 08:15:48 Monoidal functor Monoidal monad Monad Monoidal natural transformation Adjoint functors Monoid Functor Natural transformation Braided monoidal category Category theory Monoidal categories Algebra
207	Distributing probability over nondeterminism D A N I E L E V A R A C C A1† and G L Y N N W I N S K E L2 1 2 Department of Computing, Imperial College London. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-10-25 09:49:02 Mathematics Monad Kleisli category Distributive property Valuation Monoid Universal property Natural transformation Distributivity Abstract algebra Algebra Adjoint functors
208	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
209	Full Abstraction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2004-01-06 12:23:12 Logic Interpretation Structure Monoid Elementary class Function Programming Computable Functions Denotational semantics Mathematics Model theory Mathematical logic
210	Algebra and Geometry of Rewriting∗ Yves Lafont† Institut de Mathématiques de Luminy (UMR 6206 du CNRS) Université de la Méditerranée (Aix-Marseille 2) October 9, 2006 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-10-09 13:16:27 Semigroup theory Formal languages Algebraic structures Model theory Mathematical logic Monoid Presentation of a monoid Rewriting Free monoid Abstract algebra Mathematics Algebra

UPDATE