Morphism - PDFSEARCH.IO - Document Search Engine

Morphism
Results: 313

#	Item
151	Foundations of Software Technology and Theoretical Computer Science (BangaloreEditors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets Jonathan Hayman and Glynn Winskel Computer Labora Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-12-03 12:28:12 Concurrency Diagrams Petri net Order theory Adjoint functors Pullback Subcategory Category Morphism Category theory Mathematics Abstract algebra
152	A Gentle Introduction to Category Theory — the calculational approach — Maarten M. Fokkinga Add to Reading List Source URL: doc.utwente.nl Language: English - Date: 2011-08-28 13:02:53 Category Morphism Adjoint functors Equivalence of categories Limit Sheaf Product Natural transformation Functor Category theory Abstract algebra Mathematics
153	Composition and Inversion of Schema Mappings∗ Marcelo Arenas PUC Chile Jorge P´erez PUC Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-20 08:59:02 Abstract algebra Category theory Inverse element Inverse function Inversive geometry Data integration Equivalence of categories Database schema Morphism Mathematics Data management Algebra
154	Errata and Addenda for “On Abstraction and Informatics” [12] Tom Verhoeff October 2011, Augustp.7, below (5) The definition of morphism composition ◦ should read Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2013-08-31 05:46:37 Computability theory Recursion Functions and mappings Lambda calculus Fixed-point combinator Combinatory logic ML Function Iterated function Mathematics Theoretical computer science Software engineering
155	23rd Autumn School in Algebraic Geometry Algebraic group actions and quotients Wykno (Poland), September, 2000 LUNA’S SLICE THEOREM AND APPLICATIONS Add to Reading List Source URL: webusers.imj-prg.fr Language: English - Date: 2011-04-27 06:16:30 Algebraic topology Group theory Invariant theory Moduli theory Representation theory Algebraic variety Étale morphism Group action Finite morphism Abstract algebra Algebra Algebraic geometry
156	Spans and the Categorified Heisenberg Algebra – 2 John Baez for more, see: http://math.ucr.edu/home/baez/spans/ Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2013-09-10 02:53:25 Higher category theory Bicategory Braided monoidal category Monoid Natural transformation Equivalence of categories 2-category Morphism Category Category theory Algebra Monoidal categories
157	Physics, Topology, Logic, and Computation: A Rosetta Stone John C. Baez UC Riverside Mike Stay Google, U. of Auckland Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2009-05-05 19:03:37 Morphism Product Cobordism Category Associative property Cartesian closed category Functor Category theory Mathematics Algebra
158	Physics, Topology, Logic and Computation: A Rosetta Stone John C. Baez Department of Mathematics, University of California Riverside, California 92521, USA Mike Stay Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2012-06-26 12:58:42 Monoidal categories Algebraic topology Functors Cartesian closed category Lambda calculus Product Morphism Natural transformation Topological quantum field theory Category theory Abstract algebra Algebra
159	arXiv:math/0306223v1 [math.CT] 13 JunCategory Theory and Higher Dimensional Algebra: potential descriptive tools in neuroscience∗ Timothy Porter† Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 08:32:57 Diagram Functors Limit Duality Coproduct Function Morphism Valuation Pushout Category theory Mathematics Abstract algebra
160	♦ ♦ ♦ DCpic, Commutative Diagrams in a (La)TEX Document Pedro Quaresma∗ CISUC Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-05 11:52:27 Diagrams Commutative diagram Homological algebra Morphism Category Sheaf Product Cone Equaliser Category theory Mathematics Abstract algebra

UPDATE