#1666 (Jun 12, 2018, 6:02:13 PM)

1. Merge. (detail / hgweb)
2. Remove "iff" annotation on Subcategory.arr_char.  Move endofunctor locale to Functor.
   Add a small amount of additional material pertaining to "isomorphic" and "naturally isomorphic". (detail / hgweb)

Started by an SCM change

This run spent:

• 9.6 sec waiting;
• 2 hr 38 min build duration;
• 2 hr 39 min total from scheduled to completion.