general morphism
Смотреть что такое "general morphism" в других словарях:
General frame — In logic, general frames (or simply frames) are Kripke frames with an additional structure, which are used to model modal and intermediate logics. The general frame semantics combines the main virtues of Kripke semantics and algebraic semantics:… … Wikipedia
Flat morphism — In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e., : fP : OY,f(P) → OX,P is a flat map … Wikipedia
2-valued morphism — is a term used in mathematicsFact|date=January 2008 to describe a morphism that sends a Boolean algebra B onto a two element Boolean algebra 2 = {0,1}. It is essentially the same thing as an ultrafilter on B .A 2 valued morphism can be… … Wikipedia
International Journal of General Systems — Infobox Journal abbreviation = Int J Gen Syst discipline = Systems sciences editor = George J. Klir publisher = Taylor and Francis Ltd. country = United States frequency = 6 Issues per year history = 1974 present website =… … Wikipedia
Kernel (category theory) — In category theory and its applications to other branches of mathematics, kernels are a generalization of the kernels of group homomorphisms and the kernels of module homomorphisms and certain other kernels from algebra. Intuitively, the kernel… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Universal property — In various branches of mathematics, certain constructions are frequently defined or characterised by an abstract property which requires the existence of a unique morphism under certain conditions. These properties are called universal properties … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Fibred category — Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull backs) of objects such as vector bundles … Wikipedia
Category theory — In mathematics, category theory deals in an abstract way with mathematical structures and relationships between them: it abstracts from sets and functions to objects and morphisms . Categories now appear in most branches of mathematics and in… … Wikipedia
