Ob

semagrams.acsets.Ob
trait Ob

A trait marking objects in a Schema

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object I.type
object O.type
object S.type
object T.type
object Box.type
object InPort.type
object OutPort.type
object PrimBox.type
object Wire.type

Members list

Concise view

Value members

Concrete methods

def asDom(): Seq[PartType]

This object promoted to type for the domain/codomain of a morphism

This object promoted to type for the domain/codomain of a morphism

Attributes

def extend(x: Ob): PartType

Concrete fields

lazy val schema: Schema

The subschema for the subacsets on parts of this type.

The subschema for the subacsets on parts of this type.

The value is lazy in case an object is included in its own schema.

Attributes