A categorical manifesto
From MaRDI portal
Publication:4713397
DOI10.1017/S0960129500000050zbMath0747.18001OpenAlexW2054830285MaRDI QIDQ4713397
Publication date: 25 June 1992
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129500000050
Philosophical and critical aspects of logic and foundations (03A05) Theory of computing (68Q99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx)
Related Items (27)
Category-theoretic approach to software systems design ⋮ Categorical approach to the construction of fuzzy graph grammars ⋮ ON COLIMITS OVER ARBITRARY POSETS ⋮ Categorical shape theory as a formal language for pattern recognition? ⋮ Systems analysis of life cycle of large-scale information-control systems ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ From orthogonal projections to a generalized quantum search ⋮ Probability: from classical to fuzzy ⋮ On probability domains. III ⋮ Generalized random events ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Algorithm design through the optimization of reuse-based generation ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Coproducts of Ideal Monads ⋮ A categorical approach to probability theory ⋮ System Consequence ⋮ Unnamed Item ⋮ Problems of constructing intelligent systems. Intelligent modeling ⋮ Category theory and the foundations of mathematics: philosophical excavations. ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ Rosen's modelling relations via categorical adjunctions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Correctness of recursive parallel nondeterministic flow programs
- On graph rewritings
- 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 ``On graph rewritings
- A calculus of communicating systems
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- The Category-Theoretic Solution of Recursive Domain Equations
- Initial Algebra Semantics and Continuous Algebras
- Minimal realization of machines in closed categories
- Realization is universal
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Groups, Categories and Duality
- General Theory of Natural Equivalences
This page was built for publication: A categorical manifesto
