Functors - PDFSEARCH.IO - Document Search Engine

Functors
Results: 618

#	Item
411	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
412	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer Lab Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 05:59:01 Category theory Algebraic topology General topology Adjoint functors Pullback Petri net Sheaf Universal property Functor Topology Abstract algebra Mathematics
413	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
414	i i “occev” — [removed] — 7:14 — page 1 — #1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-10 10:51:18 Category theory Concurrency Diagrams Petri net General topology Adjoint functors Net Sheaf Span Topology Mathematics Abstract algebra
415	A NEW DEFINITION OF MORPHISM ON PETRI NETS A Preliminary Version ~J\A\^^ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-14 11:49:52 Topology Concurrency Diagrams Petri net Algebraic topology Dual Adjoint functors Category Universal property Mathematics Category theory Abstract algebra
416	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-22 10:36:57 Abstract algebra Category theory Probability theory Differential topology Embedding General topology Adjoint functors Functor Structure Mathematics Topology Model theory
417	18.S996S13 Textbook: Category Theory For Scientists Add to Reading List Source URL: ocw.mit.edu Language: English - Date: 2014-06-15 19:52:26 Adjoint functors Higher category theory Functors Monad Topos Olog Natural transformation Sheaf Category of topological spaces Category theory Abstract algebra Mathematics
418	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
419	D:WARTICLESOLDSTUFFSKETCHSKETCH.DVI Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2014-02-26 21:53:08 Higher category theory Algebraic topology Adjoint functors Sheaf theory Topos Sketch Categorical logic Regular category Michael Barr Category theory Abstract algebra Mathematics
420	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra

UPDATE