SECTION 3 __ GRAPHICAL DISPLAY OF CATEGORIES Introduction The controls forthe graphical display of categories are explained inthe help files under the tite Visual Display Controls This help file deals with manipulating the graphical display of a category There are two ways to select a objector artow The firsts to click directly on the object or arrow so that it become highlighted re The second way is to click and hold the left mouse button down before dr
MGDCTXP2 TI04 MAGELLAN Wireless 2 Zone Door Contact Universal Transmitter MG DCTXP2 V3 0 PARADOX 3 SECURITY SYSTEMS www paradox com Printed in Canada 01 2007 English The MG DCTXP2 can support two inputs simultaneously reed switch amp universal input It transmits two different serial numbers SN one for each input which are always SN and SN 1 e g 240 000 amp 240 001 A switch or other security device can be connected to the universal transmitt
MGDCTXP2 TIO5 MAGELLAN Wireless 2 Zone Door Contact Universal Transmitter MG DCTXP2 v3 0 Instructions Instrucciones P A R A DO X S EC URITY S YSTEMS www paradox com Printed in Canada 12 2007 English The MG DCTXP2 can support two inputs simultaneously reed switch amp universal input It transmits two different serial numbers SN one for each input which are always SN and SN 1 e g 240 000 amp 240 001 A switch or other security device can b
Version 1 1 GRAPHICAL DATABASE FOR CATEGORY THEORY DEVELOPED 1998 2000 MOUNT ALLISON UNIVERSITY J BRADBURY R ROSEBRUGH USER GUIDE for GRAPHICAL DATABASE for CATEGORY THEORY Written By Jeremy Bradbury Edited By Robert Rosebrugh June 20 2000 TABLE OF CONTENTS SECTION 1 gt gt gt gt SECTION 2 gt YY vY YV vY V V V V V Vv yC SECTION 3 gt gt gt SECTION 4 gt Yy v vY vY v y SECTION 5 gt Yy vY vV vV v y INTRODU
SECTION 4 CATEGORY TOOLS Make Confluent Select Tools Make Confluent This command applies the Knuth Bendix algorithm to the currently displayed category with arrows ordered in their storage order Mo relations added to category The set of reductions is now confluent El cancel Relations which are added to the current category are reported To add these relations to the current category click Ok or click Cancel to keep the category in its current
MGDCTXP2 TI04 MAGELLAN Wireless 2 Zone Door Contact Universal Transmitter MG DCTXP2 V3 0 PARADOX 3 SECURITY SYSTEMS www paradox com Printed in Canada 01 2007 English The MG DCTXP2 can support two inputs simultaneously reed switch amp universal input It transmits two different serial numbers SN one for each input which are always SN and SN 1 e g 240 000 amp 240 001 A switch or other security device can be connected to the universal transmitt
APPENDICES APPENDIX A EXAMPLE FILES Example CAT File This is an example category category sumone objects A B C D arrows f A gt C g B gt C h C gt D i A gt D j B gt D relations h f i h g j Example CGL File A commutative square category csquare objects A B C D arrows f A gt B g A gt C h B gt D k C gt D relations h f k g gml graph directed 1 node id 0 label A graphics Image Type Location center x 48