Topos-like Properties in Two Categories of Graphs and Graph-like Features in an Abstract Category

In the study of the Category of Graphs, the usual notion of a graph is that of a simple graph with at most one loop on any vertex, and the usual notion of a graph homomorphism is a mapping of graphs that sends vertices to vertices, edges to edges, and preserves incidence of the mapped vertices and edges. A more general view is to create a category of graphs that allows graphs to have multiple edges between two vertices and multiple loops at a vertex, coupled with a more general graph homomorphism that allows edges to be mapped to vertices as long as that map still preserves incidence. This more general category of graphs is named the Category of Conceptual Graphs. We investigate topos and topos-like properties of two subcategories of the Category of Conceptual Graphs. The first subcategory is the Category of Simple Loopless Graphs with Strict Morphisms in which the graphs are simple and loopless and the incidence preserving morphisms are restricted to sending edges to edges, and the second subcategory is the Category of Simple Graphs with Strict Morphisms where at most one loop is allowed on a vertex. We also define graph objects that are their graph equivalents when viewed in any of the graph categories, and mimic their graph equivalents when they are in other categories. We conclude by investigating the possible reflective and corefective aspects of our two subcategories of graphs.

Name thesis:degree_name

Master of Arts (MA)

Grantor dc:publisher

University of Montana

Year

2008

Author dc:creator

• Plessas, Demitri Joel

• Conceptual Graph
• edge object
• loop object
• strict morphism
• reflective subcategory
• vertex object

Repository record dc:identifier

https://scholarworks.umt.edu/etd/1124

OAI identifier oai:identifier

oai:scholarworks.umt.edu:etd-2143