Quasitoposes encompass a wide range of structures, including various categories of graphs. They have proven to be a natural setting for reasoning about the metatheory of algebraic graph rewriting. In this paper we propose and motivate the notion of fuzzy presheaves, which generalises fuzzy sets and fuzzy graphs. We prove that fuzzy presheaves are rm-adhesive quasitoposes, proving our recent conjecture for fuzzy graphs. Furthermore, we show that simple fuzzy graphs categories are quasitoposes.
Slides (2023.07.19 Slides - Fuzzy presheaves quasitoposes.pdf) | 800KiB |
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
13:30 - 15:00 | ICGT Session 3: TheoryResearch Papers at Oak Chair(s): Nicolas Behr CNRS, Université Paris Cité, IRIF Remote Participants: Zoom Link, YouTube Livestream | ||
13:30 30mTalk | A Monoidal View on Fixpoint Checks Research Papers Paolo Baldan University of Padova, P: Richard Eggert University of Duisburg-Essen, Barbara König University of Duisburg-Essen, Timo Matt University Duisburg-Essen, Tommaso Padoan University of Padova DOI Pre-print | ||
14:00 30mTalk | Fuzzy Presheaves are Quasitoposes Research Papers P: Aloïs Rosset Vrije Universiteit Amsterdam, Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam DOI File Attached | ||
14:30 30mTalk | Moving a Derivation Along a Derivation Preserves the Spine Research Papers P: Hans-Jörg Kreowski University of Bremen, Sabine Kuske University of Bremen, Aaron Lye University of Bremen, Aljoscha Windhorst University of Bremen DOI |