References & Citations
Computer Science > Logic in Computer Science
Title: Fuzzy Presheaves are Quasitoposes and Consequences in Graph Rewriting
(Submitted on 30 Jan 2023)
Abstract: Quasitoposes have proven to be an interesting framework for many graph rewriting formalisms. Since presheaves categories are toposes and fuzzy sets are quasitoposes, we prove that the combination of both, fuzzy presheaves, are also quasitoposes. This question was recently conjectured more specifically for fuzzy graphs and is now therefore proven. This entails that many fuzzy presheaves of interest can be used for graph rewriting.
Link back to: arXiv, form interface, contact.