Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
401	The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-07-22 10:38:14 Mathematics Petri net Adjoint functors Pullback Morphism Functor Sheaf Category Subcategory Abstract algebra Category theory Algebra
402	On the expressivity of symmetry in event structures∗ Sam Staton and Glynn Winskel Computer Laboratory, University of Cambridge Abstract—This paper establishes a bridge between presheaf models for concurrency and the Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-05 11:49:01 Sheaf theory Functors Adjoint functors Algebraic topology Sheaf Equivalence relation Topos Equivalence of categories Grothendieck topology Category theory Abstract algebra Mathematics
403	Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-08-31 15:16:32 Sheaf theory Models of computation Functors Theoretical computer science Sheaf Initial and terminal objects Presheaf Direct image functor Denotational semantics Category theory Mathematics Abstract algebra
404	CTCS 2004 Preliminary Version Limit Preservation from Naturality Mario Caccamo 1 The Wellcome Trust Sanger Institute Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-08-20 07:06:00 Limit Adjoint functors Diagram Universal property Natural transformation Coproduct Product Cone Initial and terminal objects Category theory Abstract algebra Functors
405	A Natural Basis for Interoperability Nick Rossiter1 , Michael Heather2 , and David Nelson3 1 Computing, Engineering and Information Sciences, Northumbria University, NE2 1XE, UK, [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2006-03-30 09:45:32 Natural transformation Limit Grothendieck topology Category of topological spaces Diagram Category theory Functors Adjoint functors
406	Advanced Facet Theory for Facet Engineers -- Kent D. Palmer This comes out of the theory of Quantum Mechanics, which even though it is hard to understand, it is an extremely highly confirmed Add to Reading List Source URL: emergentdesign.net Language: English - Date: 2014-02-16 18:19:39 Ontology Functional programming Monad Qualia Gottfried Leibniz Reality Quantum mechanics Introduction to quantum mechanics Philosophy Adjoint functors Metaphysics
407	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad
408	Emergent Meta-systems and Nondual Science -- Kent Palmer Emergent Meta-systems and Nondual Science Dynamics of the Special Systems and the Add to Reading List Source URL: nondual.net Language: English - Date: 2014-02-16 18:46:07 Systems theory Cybernetics Adjoint functors Hindu philosophy Monism Nondualism Meta-system Emergence Triality Science Knowledge Buddhism
409	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
410	GDP Festschrift ENTCS, to appear Event Structures with Symmetry Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-28 04:28:56 Order theory Functions and mappings Category theory Differential topology Group theory Equivalence relation Adjoint functors Symmetry Embedding Mathematics Abstract algebra Mathematical analysis

UPDATE