Some fundamental algebraic tools for the semantics of computation. III: Indexed categories

DOI10.1016/0304-3975(91)90085-GzbMath0755.18004MaRDI QIDQ1183597

Joseph A. Goguen, Andrzej Tarlecki, Rod M. Burstall

Publication date: 28 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

category of signaturesindexed categoriesfibred categorycategory of categoriesflattened categoryflattened functorindexed functormany-sorted algebraic signaturesignature morphism

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Fibered categories (18D30) Categories of algebras (08C05)

Related Items (31)

Structured theory presentations and logic representations ⋮ Compositionality results for different types of parameterization and parameter passing in specification languages ⋮ Interpolation in Grothendieck institutions ⋮ Functorial theory of parameterized specifications in a general specification framework ⋮ Category localization semantics for specification refinements ⋮ Logic representation in LF ⋮ Detecting isomorphisms of modular specifications with diagrams ⋮ Term charters ⋮ Interpolation for predefined types ⋮ Foundations for structuring behavioural specifications ⋮ Partialising institutions ⋮ An axiomatic approach to structuring specifications ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Parchments for CafeOBJ Logics ⋮ Unnamed Item ⋮ On the algebra of structured specifications ⋮ A categorical study on the finiteness of specifications ⋮ System Consequence ⋮ Structural induction in institutions ⋮ A 2-categorial generalization of the concept of institution ⋮ Types from Frames as Finite Automata ⋮ From static to dynamic abstract data-types: An institution transformation ⋮ Concrete Process Categories ⋮ Paths and Simulations ⋮ Detecting equivalence of modular specifications with categorical diagrams ⋮ Institutions for OCL-Like Expression Languages ⋮ Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories ⋮ On fuzzification of topological categories ⋮ Logical foundations of CafeOBJ

Cites Work

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• On the existence of free models in abstract algebraic institutions
• Quasi-varieties in abstract algebraic institutions
• Categorical aspects of data type constructors
• Specifications in an arbitrary institution
• Final algebra semantics and data type extensions
• Parallel realization of systems, using factorizations and quotients in categories
• Indexed categories and their applications
• Fibered categories and the foundations of naive category theory
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
• Transformations of structures: An algebraic approach
• Data Type Specification: Parameterization and the Power of Specification Techniques
• A categorical manifesto
• A category-theoretic account of program modules
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Some fundamental algebraic tools for the semantics of computation. III: Indexed categories