Relations in operational categories

DOI10.1016/S0022-4049(96)00166-1zbMath0870.18004MaRDI QIDQ678847

No author found.

Publication date: 27 July 1997

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

binary relationconnecting homomorphismoperational categorypartial equivalence relationtwo-square lemma

Mathematics Subject Classification ID

Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (1)

Aspects of Categorical Recursion Theory

Cites Work

• Diagram chasing in Mal'cev categories
• Some remarks on Maltsev and Goursat categories
• Exact categories and categories of sheaves
• Implication algebras are 3-permutable and 3-distributive
• Über die Korrespondenzen einer Struktur
• Goursats Theorem and the Zassenhaus Lemma
• Lambek's operational categories
• Constructive natural deduction and its ‘ω-set’ interpretation
• A General Stone-Gelfand Duality
• Least fixpoints of endofunctors of cartesian closed categories
• On Bicategories of Relations and Pullback Spans
• Heterogeneous algebras
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Goursat's Theorem and Homological Algebra
• Axiomatic Proof of J. Lambek's Homological Theorem
• 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

This page was built for publication: Relations in operational categories