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

Concise view

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

The subschema for the subacsets on parts of this type.

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

Generated with