Relational languages such as Ruby are used to derive hardware circuits from abstract speci cations of their behaviour. Much reasoning is done informally in Ruby using pictorial representations of relational terms. We formalise this use of pictures in circuit design. We show that pictures naturally form a unitary pretabular allegory. Homomorphisms of pictures correspond to adding new wires or ci...

The study of inductive and coinductive types (like finite lists and streams, respectively) is usually conducted within the framework of category theory, which to all intents and purposes is a theory of sets and functions between sets. Allegory theory, an extension of category theory due to Freyd, is better suited to modelling relations between sets as opposed to functions between sets. The ques...

abstract this study aims to examine the use of religion heritage and application of the prophet job’s character mask. one of the important masks that have been used by contemporary poets is the prophet’s masks, especially the job of which the story exists in the quran. this character is a symbol of patience. darvish and sayyab are the most important poets who used the mask of this character.  e...