Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
From MaRDI portal
Publication:1183597
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)
category of signatures; indexed categories; fibred category; category of categories; flattened category; flattened functor; indexed functor; many-sorted algebraic signature; signature morphism
08A70: Applications of universal algebra in computer science
68Q55: Semantics in the theory of computing
18D30: Fibered categories
08C05: Categories of algebras
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, From static to dynamic abstract data-types: An institution transformation, Structured theory presentations and logic representations, Functorial theory of parameterized specifications in a general specification framework, Detecting equivalence of modular specifications with categorical diagrams, Logical foundations of CafeOBJ, Interpolation in Grothendieck institutions, Category localization semantics for specification refinements
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