scientific article; zbMATH DE number 803303
From MaRDI portal
Publication:4850062
zbMath0841.18001MaRDI QIDQ4850062
No author found.
Publication date: 9 October 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monoidal categories2-categoriesfibrationstoposessketchesdistributive categories*-autonomous categories
Graphs, diagram schemes, precategories (18A10) Categories of machines, automata (18B20) Theory of computing (68Qxx) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Categorical structures (18Dxx)
Related Items
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions, Algebraic data integration, On the existence of free models in fuzzy universal Horn classes, Equational Properties of Stratified Least Fixed Points (Extended Abstract), Monad transformers as monoid transformers, On Chu spaces over \(SS-Act\) category, Pointfree expression and calculation: From quantification to temporal logic, A formal approach to the specification and transformation of constraints in MDE, Fibrations and universal view updatability, Combinatorial functional and differential equations applied to differential posets, A Superposition Operator for the Refinement of Algebraic Models, Relative cohomology of algebraic theories, From environments to representations -- a mathematical theory of artificial perceptions, CATEGORIES AS ALGEBRA, II, Sketch Data Models, Relational Schema and Data Specifications, A Diagrammatic Logic for Object-Oriented Visual Modeling, Code migration and program maintainability -- A categorical perspective