Oral History Interview: Warren Brown

This interview is one of a series conducted concerning West Virginia business history. Warren Brown was an employee of BML Lighting, a theatrical lighting company. He discusses: company history; business practices; different jobs they were hired for; their education; bookkeeping; and how technology has affected their business.https://mds.marshall.edu/oral_history/1287/thumbnail.jp

Towards a directed homotopy type theory

In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former for Martin-L\"of type theory which is roughly analogous to the identity type former originally introduced by Martin-L\"of. The homomorphism type former is meant to capture the notions of morphism (from the theory of categories) and directed path (from directed homotopy theory) just as the identity type former is known to capture the notions of isomorphism (from the theory of groupoids) and path (from homotopy theory). Our main result is an interpretation of these homomorphism types into Cat, the category of small categories. There, the interpretation of each homomorphism type hom(a,b) is indeed the set of morphisms between the objects a and b of a category C. We end the paper with an analysis of the interpretation in Cat with which we argue that our homomorphism types are indeed the directed version of Martin-L\"of's identity types

Agrobacterium tumefaciens mediated transformation of sweet potato ( Ipomoea batatas) tuber and regeneration of transformed tissue

A research report submitted to the Faculty of Science, University of the Witwatersrand, in partial fulfilment of the requirements for the degree of Master of Science, Johannesburg, February 1998.Sweet potato (Ipomoea batatasy is one of the six biggest crops in the world, its high nutritional content and large yield in tropical areas making it a useful food source, especially in developing countries. Genetic engineering has the ability to overcome factors such as insect and disease damage which are currently limiting its potential. With this in mind research has been conducted into the development of a protocol to generate transgenic sweet potato from tubers of a local South African cultivar, blesbok. A protocol has been developed which appears capable of generating transgenic plants. Transformation of blesbok tuber tissue was carried out by Agrobacterium tumefaciens mediated transfer of three different binary vectors containing the uidA gene encoding l3-glucuronidase, the npt I 1 gene conferring kanamycin resistance and the bar gene conferring L-phosphinothricin resistance. Long term, stable expression of kanamycin and L-phosphinothricin .resistance was confirmed with kanamycin and Lphosphinothricin screening. Long term, stable expression of l3-glucuronidase was confirmed with fluorescence histochemical studies employing ImaGene Red™. This was further confirmed with quantitative assays of l3-giucuronidase activity using 4· methylumbelliferyl-f-Dcglucuronic acid which showed an average activity of 2.82 nmole.mln'l.mg" protein. Long term, stable integration of uidA into the plant genome was confirmed with polymerase chain reaction amplification screening. Transformed tuber tissue was regenerated via shoot organogenesis to stem structures similarly produced from non transformed tuber tissue. This was achieved for optimised transformation conditions and focused on shoot induction with 2 mg.l" of the auxin 2,4-dichlorophenoxyucetic acid and 0.2 mg.l" of the cytokinin 6-benzylaminopurine. The stems produced still need to be stimulated to develop fully into transgenic plants. This will probably require a sharp increase in the cytokinin.auxin concentration ratio after initial shoot induction.MT201