scientific article; zbMATH DE number 1231576

MaRDI QIDQ4222895zbMATH OpenFDO

Authors Yoshiki Kinoshita, John Power, Makoto Takeyama

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#kinoshita

zbMATH Keywords

finitary monadsketch

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Sketches
• scientific article; zbMATH DE number 149413
• scientific article; zbMATH DE number 3955174
• Diagrams as sketches
• Finitary sketches
• scientific article; zbMATH DE number 1984569
• On the Limitations of Sketches

Cited in

(27)

• How to sketch quasivarieties
• Sketches
• Morita equivalence of sketches
• On geometric and finitary sketches
• Lawvere theories enriched over a general base
• Symmetric monoidal sketches and categories of wirings
• Reflection into models of finite decidable FP-sketches in an arithmetic universe
• Categories as models on a suitable algebraic theory
• scientific article; zbMATH DE number 3871607 (Why is no real title available?)
• scientific article; zbMATH DE number 3873562 (Why is no real title available?)
• A sketch theoretical survey. Towards a typology of mathematical structures
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• scientific article; zbMATH DE number 3955179 (Why is no real title available?)
• scientific article; zbMATH DE number 3964131 (Why is no real title available?)
• scientific article; zbMATH DE number 4059654 (Why is no real title available?)
• scientific article; zbMATH DE number 4093718 (Why is no real title available?)
• A formalism for the specification of essentially-algebraic structures in 2-categories
• On the Limitations of Sketches
• scientific article; zbMATH DE number 149413 (Why is no real title available?)
• scientific article; zbMATH DE number 4125650 (Why is no real title available?)
• scientific article; zbMATH DE number 4128423 (Why is no real title available?)
• scientific article; zbMATH DE number 1088533 (Why is no real title available?)
• scientific article; zbMATH DE number 3895265 (Why is no real title available?)
• scientific article; zbMATH DE number 7760192 (Why is no real title available?)
• Generalized sketches as a framework for completeness theorems. I-III
• Finite models of sketches
• A generalization of the concept of sketch

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222895)