9 lines
315 B
HTML
9 lines
315 B
HTML
<h2>Definition: Category [Laws]</h2>
|
|
<ul>
|
|
<li>for all \(X\), there is an \(\id_X\), s.t. for all \(f:A\to B\)
|
|
<img src="img/mp/identity.png" alt="identity"/>
|
|
</li>
|
|
<li> Composition is associative:
|
|
<img src="img/mp/associativecomposition.png" alt="associative composition"/>
|
|
</li>
|
|
</ul>
|