Quantaloids, enriched categories and automata theory

DOI10.1007/BF00878445zbMath0833.18002MaRDI QIDQ1899876

Kimmo I. Rosenthal

Publication date: 26 February 1996

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

automatacontext-free languagesquantaloidsenriched categoriesbicategories

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Preorders, orders, domains and lattices (viewed as categories) (18B35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categories of machines, automata (18B20) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (10)

Completeness and injectivity ⋮ An introduction to quantaloid-enriched categories ⋮ Exponentiable functors between quantaloid-enriched categories ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Proper/residually-finite idempotent semirings. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Extending set functors to generalised metric spaces ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Free quantaloids
• Order ideals in categories
• Variation through enrichment
• Sheaves on sites as Cauchy-complete categories
• Quantaloidal nuclei, the syntactic congruence and tree automata
• \(*\)-autonomous categories of bimodules
• An axiomatics for bicategories of modules
• A note on context-free languages
• The free category with products on a multigraph
• ENRICHED CATEGORIES AND COHOMOLOGY
• Cauchy characterization of enriched categories
• Modal logics withn-ary connectives
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Constructing locales from quantales
• Categories and Computer Science
• Girard quantaloids
• Metric spaces, generalized logic, and closed categories
• Quantales, observational logic and process semantics
• A categorical look at tree automata and context-free languages
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: Quantaloids, enriched categories and automata theory