A categorical manifesto
DOI10.1017/S0960129500000050zbMATH Open0747.18001OpenAlexW2054830285MaRDI QIDQ4713397FDOQ4713397
Authors: Joseph Goguen 
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
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) General theory of categories and functors (18Axx) Theory of computing (68Q99)
Cites Work
- Title not available (Why is that?)
- The Category-Theoretic Solution of Recursive Domain Equations
- Initial Algebra Semantics and Continuous Algebras
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- A calculus of communicating systems
- General Theory of Natural Equivalences
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- On ``On graph rewritings
- Title not available (Why is that?)
- On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
- On graph rewritings
- Realization is universal
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Groups, Categories and Duality
- On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
- Correctness of recursive parallel nondeterministic flow programs
- Minimal realization of machines in closed categories
- Title not available (Why is that?)
Cited In (38)
- Compositional cyber-physical systems modeling
- Title not available (Why is that?)
- Relationships between category theory and functional programming with an application
- Computer Aided Systems Theory – EUROCAST 2005
- Temporal theories as modularisation units for concurrent system specification
- Generalized random events
- ON COLIMITS OVER ARBITRARY POSETS
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Category-theoretic approach to software systems design
- Rosen's modelling relations via categorical adjunctions
- On probability domains. III
- Title not available (Why is that?)
- A categorical approach to probability theory
- An algebraic semantics for structured transition systems and its application to logic programs
- Categorical approach to the construction of fuzzy graph grammars
- Problems of constructing intelligent systems. Intelligent modeling
- Categorical shape theory as a formal language for pattern recognition?
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- From orthogonal projections to a generalized quantum search
- Algorithm design through the optimization of reuse-based generation
- Contextual Petri nets, asymmetric event structures, and processes
- Title not available (Why is that?)
- System Consequence
- Title not available (Why is that?)
- Category-theoretic consequences of denotators as a universal data format
- Probability: from classical to fuzzy
- Category theory and the foundations of mathematics: philosophical excavations.
- Title not available (Why is that?)
- The application of category theory to epistemic and poietic processes
- Coproducts of Ideal Monads
- Systems analysis of life cycle of large-scale information-control systems
- Theoretical computer science for the working category theorist
This page was built for publication: A categorical manifesto
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4713397)
