Pushout - PDFSEARCH.IO - Document Search Engine

Pushout
Results: 45

#	Item
31	Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach Mehrdad Sabetzadeh Steve Easterbrook Department of Computer Science, University of Toronto Toronto, ON M5S 3G4, Canada. Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-28 15:48:41 Limit Complete category Pushout Initial and terminal objects Topos Dual Diagram Coequalizer Category of topological spaces Category theory Mathematical analysis Abstract algebra
32	PDF Document Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-05-23 09:08:20 Functors Limit Diagram Initial and terminal objects Pushout Sheaf Adjoint functors Universal property Cone Category theory Mathematics Abstract algebra
33	Derived Algebraic Geometry IX: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2011-11-08 14:05:40 Sheaf theory Functors Topos Universal property Limit Pushout Grothendieck topology Sheaf Adjoint functors Category theory Abstract algebra Mathematics
34	NAGATA COMPACTIFICATION FOR ALGEBRAIC SPACES BRIAN CONRAD, MAX LIEBLICH, AND MARTIN OLSSON Abstract. We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separ Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2010-06-23 22:43:39 Scheme theory Sheaf theory Étale morphism Pushout Algebraic space Finite morphism Spectrum of a ring Zariski topology Blowing up Abstract algebra Algebraic geometry Algebra
35	Weakest Preconditions for High-Level Programs (Long Version) Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-08-11 13:42:10 Category theory Morphisms Graph rewriting Graph theory Pushout Epimorphism Category Ample line bundle Sheaf Abstract algebra Mathematics Algebra
36	Under consideration for publication in Math. Struct. in Comp. Science Correctness of high-level transformation systems relative to nested conditions A N N E G R E T H A B E L and K A R L - H E I N Z P E N N E M A N N† Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-16 05:05:39 Morphism Category Pushout Graph rewriting Grothendieck topology Sheaf Universal property Monomorphism Initial and terminal objects Category theory Abstract algebra Mathematics
37	The Seifert-van Kampen Theorem for the fundamental groupoid of a space with a set of base points This note is an extract for the convenience of readers of a section of the book [BHS11], with some additional comments. Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2014-04-10 13:42:56 Algebra Category theory Higher category theory Algebraic structures Algebraic topology Double groupoid Seifert–van Kampen theorem Groupoid Pushout Abstract algebra Mathematics Homotopy theory
38	Journal of Homotopy and Related Structures, vol. 1(1), 2006, pp.175–183 GROUPOIDS, THE PHRAGMEN-BROUWER PROPERTY, AND THE JORDAN CURVE THEOREM RONALD BROWN (communicated by Frederick Cohen) Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2007-12-16 10:48:42 Mathematics Seifert–van Kampen theorem Groupoid Covering space Fundamental group Pushout Group action Path Jordan curve theorem Abstract algebra Topology Homotopy theory
39	Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-01 20:46:15 Mathematical logic Propositional calculus Model theory Algebraic geometry Logical truth Tautology Pushout Epimorphism Category Logic Mathematics Abstract algebra
40	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory

UPDATE