Contents
### Context

#### Category theory

#### Algebra

#### Categorification

**categorification**

## Background

## Contents

## Examples

# Contents

## Idea

Just as a groupoid is the oidification of a group and a ringoid is the oidification of a ring, a magmoid should be the oidification of a magma.

## Definition

### With a set of morphisms

Let $Q$ be a quiver with a collection of objects $Ob(Q)$, a set of morphisms $Mor(Q)$, a function $s: Mor(Q) \to Ob(Q)$ called the **source** or **domain** and a function $t: Mor(Q) \to Ob(Q)$ called the **target** or **codomain**. A **magmoid** is a quiver $Q$ with a partial binary operation

$\left(-\right)\circ\left(-\right): Mor(Q) \times Mor(Q) \to Mor(Q) + 1$

with coproduct injections $inj:Mor(Q) \to Mor(Q) + 1$ and $pt: 1 \to Mor(Q) + 1$, such that for $f, g \in Mor(Q)$, there is a function $h$ in the inverse image of $inj(h) = f \circ g$ if $s(f) = t(g)$, and $f \circ g = pt(\bullet)$ otherwise.

### With a family of sets of morphisms

Let $Q$ be a quiver with a collection of objects $Ob(Q)$ and a Set-valued functor $Mor: Ob(Q) \times Ob(Q) \to Set$ for all objects $a, b \in Ob(Q)$. A **magmoid** is a quiver $Q$ with a binary operation

$\left(-\right)\circ\left(-\right): Mor(b,c) \times Mor(a,b) \to Mor(a,c)$

for all $a,b,c \in Ob(Q)$.

### Weak and strict magmoids

A **weak magmoid** is a magmoid $Q$ whose collection of objects $Ob(Q)$ form a groupoid, while a **strict magmoid** is a magmoid $Q$ whose collection of objects $Ob(Q)$ form a set.

### Enriched magmoids

Let $V$ be a monoidal category (or a monoidal (infinity,1)-category) and let $Q$ be a $V$-enriched quiver, with a collection of objects $Ob(Q)$ and a $V$-valued functor $Mor: Ob(Q) \times Ob(Q) \to V$ for all objects $a, b \in Ob(Q)$. A **$V$-enriched magmoid** is a $V$-enriched quiver $Q$ with a binary operation

$\left(-\right)\circ\left(-\right): Mor(b,c) \times Mor(a,b) \to Mor(a,c)$

for all $a,b,c \in Ob(Q)$.

## Examples

A transitive relation is a magmoid enriched in truth values, or a magmoid $M$ where there is at most one morphism from every object $a$ to another object $b$ in $M$.