Morphisms - PDFSEARCH.IO - Document Search Engine

Morphisms
Results: 218

#	Item
171	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
172	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
173	Workshop on group schemes and p-divisible groups: Homework[removed]i) Using the structure theorem and Frobenius morphisms, prove that a finite group scheme over a field is killed by its order. (Exer. 3(ii) in HW1 gives a Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2005-05-26 17:44:58 Group scheme Barsotti–Tate group Étale morphism Spectrum of a ring Flat topology Frobenius endomorphism Flat module Grothendieck topology Commutative ring Abstract algebra Algebra Algebraic geometry
174	Journal of Number Theory 78, 253270[removed]Article ID jnth[removed], available online at http:www.idealibrary.com on Remarks on mod-l n Representations, l=3, 5 Brian Conrad Department of Mathematics, Harvard Universi Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2004-08-10 17:15:22 Lie groups Group theory Finite groups Morphisms PSL Outer automorphism group Frobenius endomorphism Representation theory Group homomorphism Abstract algebra Algebra Projective geometry
175	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
176	Network Theory I: Electrical Circuits and Signal-Flow Graphs John Baez, Jason Erbele, Brendan Fong The category with vector spaces as objects and linear maps as morphisms becomes symmetric monoidal with the usual ⊗. Add to Reading List Source URL: math.ucr.edu Language: English - Date: 2014-03-02 08:12:49 Monoidal categories Monoid Braided monoidal category Vector Tensor product Laplace transform Linear map Tensor Integral transform Algebra Mathematics Category theory
177	CLASS FIELD THEORY C. CIIEVALLEY NAGOYA UNIVEIWTY[removed] Add to Reading List Source URL: www.plouffe.fr Language: English - Date: 2014-05-28 20:51:53 Field theory Algebraic structures Ring theory Group theory Homomorphism Morphisms Valuation Field extension Ring Abstract algebra Algebra Mathematics
178	Journal of Instruction-Level Parallelism[removed]Submitted 9/03; published 11/03 Add to Reading List Source URL: www.jilp.org Language: English - Date: 2004-01-21 11:47:57 Combinatorics Graph isomorphism Data dependency Directed acyclic graph Parallel computing Isomorphism Instruction set Compiler optimizations Morphisms Graph theory Mathematics
179	[removed]The Invariant Problem for Binary Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2013-09-04 15:47:39 Mathematical structures Theoretical computer science Algebraic structures Graph theory FO Finite model theory Isomorphism Structure Graph isomorphism Mathematics Morphisms Algebra
180	Children’s Scope Assignment Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:51:24 Linguistics Morphisms Information science Semantics Model theory Isomorphism Entailment Interpretation Relevance Logic Science Pragmatics