Weakly induced modifications of I

The aim of this paper is to study weakly induced I-fuzzy topological spaces and weakly induced modifications of I-fuzzy topologies. We give two kinds of weakly induced I-fuzzy topologies for each I-fuzzy topology and prove that I-WIFTOP is a reflective and coreflective full subcategory of I-FTOP. We also discuss some relationships between several categories

Coalgebraische Similarität

Bereits bekannt erhält jeder Funktor genau dann schwache Pullbacks, wenn jede Kongruenz eine difunktionale Bisimulation ist. In Kapitel 3 fanden wir äquivalente Aussagen für die schwache Kerpaarerhaltung und die Urbilderhaltung. Ausserdem definierten wir eine Funktorabänderung, die wir Urbildbereinigung nannten. Der resultierende Funktor erhält Urbilder. Die Idee war inspiriert von der Transformation, so dass daraus ein gesunder Funktor entsteht. Der Urbilder erhaltende Funktor hat auch den Vorteil, dass seine Unterfunktoren genau die Urbilder erhaltende Unterfunktoren des ursprünglichen Funktors sind. In Kapitel 4 zeigten wir, dass die monotonen trennbaren Boxen eine korrekte und vollständige Modallogik liefern. Interessant ist, dass die Urbild-Bereinigung des allgemeinen Nachbarschaftsfunktors einen Funktor liefert, der schwache Pullbacks erhält