Math

V Is For Vortex – More Categorical Programming

Vortex, A Categorical Database In the early 90’s I led a product team of three folks to create Vortex, a database for electronic design automation (EDA).  This work at Intergraph Electronics/Dazix/Veribest was based on the categorical programming technique previously developed for the Clipper microprocessor.  As it happens the product was never released.  The one remaining…

Intro To Categorical Programming

Have You Shorts Or Opens? Categorical programming was applied to the building of the Clipper microprocessor.  Read how part of it was done. Beginning work ’84 at Fairchild Semiconductor as a CAD engineer on the Clipper microprocessor, one of the early assignments was to look at a pen plotter.  A pen plotter possesses a few…

Souslin’s Hypothesis

I found my only published math article here as an erratum in the Journal of Pure and Applied Algebra 14 (1979) 115-116. It refers to Marta Bunge’s article “Topos Theory and Souslin’s Hypothesis”, Journal of Pure and Applied Algebra 4 (1974) 159-187 as seen here. From the erratum: Harry Dole (Department of Mathematics, The University…