Skip to content

Category example is a preorder/partial order #218

@MostAwesomeDude

Description

@MostAwesomeDude

The example category, Max, is a preorder. The resulting category is skeletal; there is at most one arrow between any two objects. This is not bad, but most categories will be richer than this, and the example should say so.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions