morphisms

What matters is the way an object is related to the other objects of the category, that is, the morphisms going in and the morphisms going out, or, put differently, how certain structures can be mapped into a given object and how a given object can map its structure into other structures of the same kind.

Category Theory Marquis, Jean-Pierre 2007

: A sequence of algebraic objects and morphisms which is used to describe or analyse algebraic structure.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

: A sequence of algebraic objects and morphisms which is used to describe or analyse algebraic structure.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

: A sequence of algebraic objects and morphisms which is used to describe or analyse algebraic structure.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

: A sequence of algebraic objects and morphisms which is used to describe or analyse algebraic structure.

Citizendium, the Citizens' Compendium - Recent changes [en] 2009

Categories of logic systems having logic translations as morphisms are such that the canonical injections of the coproduct are just inclusion mappings.

Combining Logics Carnielli, Walter 2007

As it will be shown in Section the different notions of morphisms between logics affect the strength of the logics obtained by algebraic fibring in the different categories of logic systems.

Combining Logics Carnielli, Walter 2007

The category Vec with objects vector spaces and morphisms linear maps.

Category Theory Marquis, Jean-Pierre 2007

Build a category by taking the points in phase space as your objects and time-evolution operations as your morphisms.

Arrow of Time FAQ Sean 2007

A problem concerning institution morphisms is that formulas involving connectives from different logics being combined are not allowed.

Combining Logics Carnielli, Walter 2007