Pushout-complements and basic concepts of grammars in toposes (Q757576): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q171472 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Yves Diers / rank | |||
Normal rank |
Revision as of 04:58, 10 February 2024
scientific article
In more languages
ConfigureLanguage | Label | Description | Also known as |
---|---|---|---|
English | Pushout-complements and basic concepts of grammars in toposes |
scientific article |
Statements
The author investigates pushouts in toposes by using essentially the theory of binary relations, which he called relational calculus. A characterization of pushouts is given, and also characterizations of the existence of a whole pushout starting from some part of it. For example for a composable pair of morphisms (f,g) any pair of morphisms (h,k) such that (g,k) is the pushout of (f,h) is called a pushout-complement of (f,g). The special case of the topos of directed graphs is closely examined. As an application, an embedding theorem and Church-Rosser theorem on grammars in a topos is proved.