Abstrakt. Vi generaliserar de vecklande semantikerna, som tidigare utvecklats för konkreta formalismer som Petri nät och graf grammatik, till den abstrakta inställningen av (enkel pushout) skriva över självhäftande kategorier. Den vecklade konstruktionen karakteriseras som en kärna, d.v.s. Den vecklade functorn uppstår som den högra gränsar till inbäddningen av kategorin förekomst grammatiker i kategorin grammatiker. Eftersom utvecklingen representerar potentiellt oändliga beräkningar, måste vi arbeta i självhäftande kategorier med "väluppfostrade" colimits av monomorfismer. Jämfört med tidigare arbeten på utvecklingen av Petri nät och graf grammatik, våra resultat gäller för en bredare klass av system, som är på grund av användningen av en förfinad uppfattning om grammatik morfism.
Använda självhäftande kategorier, d.v.s. självhäftande kategorier i vilka colimits av monomorfismkedjor är Van Kampen, är det möjligt att ge en sådan kärna reflekterande veckling semantik för grammatik som skriver objekt i en självhäftande kategori REF.
Unfolding grammars in adhesive categories
{'venue': 'IN ALGEBRA AND COLAGEBRA IN COMPUTER SCIENCE, CALCO’09', 'journal': None, 'mag_field_of_study': ['Computer Science']}