Epimorphism - PDFSEARCH.IO - Document Search Engine

Epimorphism
Results: 58

#	Item
31	Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 Add to Reading List Source URL: www.algant.eu Language: English - Date: 2013-07-05 01:14:58 Algebraic topology Morphisms Sheaf theory Sheaf Epimorphism Coproduct Functor Étale fundamental group Equivalence of categories Abstract algebra Category theory Mathematics
32	Equalizers and co-Equalizers in Certain Categories by Victor Porton Email: [removed] Web: http://www.mathematics21.org February 9, 2014 Add to Reading List Source URL: www.mathematics21.org Language: English - Date: 2014-02-09 10:08:32 Mathematical analysis Morphisms Concrete category Functor Adjoint functors Sheaf Category Epimorphism Surjective function Mathematics Abstract algebra Category theory
33	ON THE SCHREIER THEORY OF NONABELIAN EXTENSIONS: GENERALISATIONS AND COMPUTATIONS Ronald Brown and Timothy Porter School of Mathematics University of Wales, Bangor Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2003-03-19 12:46:48 Homological algebra Algebraic topology Group theory Morphisms Crossed module Epimorphism G-module Kernel Image Abstract algebra Algebra Category theory
34	KRULL-REMAK-SCHMIDT CATEGORIES AND PROJECTIVE COVERS HENNING KRAUSE 1. Additive categories and the radical 1.1. Products and coproducts. Let A be a category. A product of a family Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2012-05-21 19:50:48 Homological algebra Additive categories Module theory Algebraic topology Initial and terminal objects Abelian category Projective cover Sheaf Epimorphism Abstract algebra Category theory Algebra
35	GT-VC[removed]An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Long Version) 1,2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2007-08-08 08:19:07 Morphisms Category Sheaf Epimorphism Initial and terminal objects Graph rewriting Additive category Multicategory Abstract algebra Mathematics Category theory
36	Satisfiability of High-Level Conditions Annegret Habel and Karl-Heinz Pennemann Carl v. Ossietzky Universit¨ at Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:44:17 Algebra Mathematics Epimorphism Monomorphism Category Equivalence of categories Sheaf Abstract algebra Morphisms Category theory
37	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
38	(November 9, [removed]Basic categorial constructions Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2010-11-09 09:07:51 Coproduct Functor Universal property Limit Category Morphism Initial and terminal objects Epimorphism Sheaf Category theory Abstract algebra Product
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