Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. Plural form of morphism.

Etymologies

Sorry, no etymologies found.

Examples

  • 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

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

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

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

    Arrow of Time FAQ

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

    Combining Logics

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

    Combining Logics

  • 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

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

    Category Theory

  • The category Top with objects topological spaces and morphisms continuous functions.

    Category Theory

  • C to morphisms of D, in such a way that composition of morphisms in C is preserved, i.e.,

    Category Theory

  • The categories Lat and Bool with objects lattices and Boolean algebras, respectively, and morphisms structure preserving homomorphisms, i.e., (Š¤, Š¥, ˆ§, ˆ¨) homomorphisms.

    Category Theory

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.