(public).sospep.subjects ~ view article ~ categories-from-scratch

<h1 style="text-align: center;">? category theory ?</h1>
<h2>[WHAT]</h2>
<ol>
<li>]&nbsp;The concept of <em>category</em> from mathematics happens to be useful to computer programmers in many ways. Unfortunately, all &ldquo;good&rdquo; explanations of categories so far have been designed by mathematicians, or at least theoreticians with a strong background in mathematics, and this makes categories especially inscrutable to external audiences.</li>
<li>] More specifically, the common explanatory route to approach categories is usually: &ldquo;here is a formal specification of what a category is; then look at these known things from maths and theoretical computer science, and admire how they can be described using the notions of category theory.&rdquo; This approach is only successful if the audience can fully understand a conceptual object using only its formal specification.</li>
<li>] In practice, <em>quite a few people only adopt conceptual objects by abstracting from two or more contexts where the concepts are applicable,</em> instead. This is the road taken below: reconstruct the abstractions from category theory using scratches of understanding from various fields of computer engineering.</li>
</ol>
<h2>[WHY]</h2>
<ol>
<li>]&nbsp;</li>
</ol>
<h2>[WHERE]</h2>
<ol>
<li>] <a href="http://staff.science.uva.nl/~poss/categories-from-scratch.html" target="_blank">http://staff.science.uva.nl/~poss/categories-from-scratch.html</a></li>
</ol>
<h2>[WHEN]</h2>
<ol>
<li>] 2014-05-12</li>
</ol>
<h2>[EXAMPLE]</h2>
<ol>
<li>]</li>
</ol>
<h2>[HOW-TO]</h2>
<ol>
<li>]</li>
</ol>
<h2>[REFERENCE]</h2>
<ol>
<li>] src = hn</li>
</ol>
<h1 style="text-align: center;">&nbsp;</h1>

~ view article ~ Chapter] index FROM [ Book] analysis-software-developer IN [ libraries] technology-developer-software