Quantaloidal nuclei, the syntactic congruence and tree automata

DOI10.1016/0022-4049(92)90085-TzbMath0761.18009MaRDI QIDQ1184038

Kimmo I. Rosenthal

Publication date: 28 June 1992

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

tree automataquantaloids

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (7)

Quantaloids, enriched categories and automata theory ⋮ On quantaloids and quantal categories ⋮ A categorical look at tree automata and context-free languages ⋮ Chu connections and back diagonals between \(\mathcal{Q}\)-distributors ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Linear logic
• Free quantaloids
• Variation through enrichment
• An axiomatics for bicategories of modules
• Quantales and (noncommutative) linear logic
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Constructing locales from quantales
• Metric spaces, generalized logic, and closed categories
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantaloidal nuclei, the syntactic congruence and tree automata