OpenMath

OpenMath is an extensible standard for representing the semantics of mathematical objects.

https://openmath.github.io

OpenMath Signatures

Type System: sts2
Content Dictionary: generic_alg_cats
CD Signature File: generic_alg_cats.sts 

               
Date:  2002-07-06
Author: Bill Naylor

monoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

Abelian_monoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ordered_monoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ordered_Abelian_monoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

groupoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

semigroup 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

Abelian_semigroup 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

group 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ordered_group 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

Abelian_group 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ordered_Abelian_group 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ringoid 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ring 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

ordered_ring 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

non_commutative_ring 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

Euclidean_domain 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

field 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]

integral_domain 

    <OMOBJ xmlns="http://www.openmath.org/OpenMath">
      <OMS cd="meta_cats" name="Category"/>
    </OMOBJ>
Category

Content Dictionary Entry.

[First: ] [Last: ] [Top]