The tag has no wiki summary.

learn more… | top users | synonyms

-5
votes
0answers
46 views

Monoid as cathegory [closed]

I'm struggling with comprehending what monoids are in terms of category theory. In examples they view integer numbers as a monoid. I think I get the set theoretic definition. We have a set and a ...
9
votes
2answers
636 views

Formal representation of an abstraction hierarchy

Introduction I'm writing my PhD thesis on Abstract Delta Modeling (ADM), an abstract algebraic description of modifications (known as deltas) able to act on products (as in 'software products'). This ...
6
votes
0answers
112 views

Complexity of Roman numeral evaluation

I came up with a result the other day that arbitrary length Roman numeral evaluation can be modeled as a monoid: https://gist.github.com/4542999 1) Is this a known result? 2) If not, any ...