Unitary Theories, Unitary Categories

DOI10.1016/j.entcs.2010.08.003zbMath1343.18012OpenAlexW2011841843MaRDI QIDQ3178243

Pieter J. W. Hofstra, J. Robin B. Cockett

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.003

zbMATH Keywords

completionspartial algebrapartial combinatory algebraspartial equational logicclassifying categoriespartial combinatory logicunitary categories

Mathematics Subject Classification ID

Partial algebras (08A55) Combinatory logic and lambda calculus (03B40) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (3)

Toposes for semigroups: an invitation ⋮ Realizability interpretation of PA by iterated limiting PCA ⋮ Aspects of Categorical Recursion Theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial Horn logic and Cartesian categories
• Introduction to Turing categories
• Partial morphisms in categories of effective objects
• Categories of partial maps
• Partiality, cartesian closedness, and toposes
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Classifying categories for partial equational logic
• Restriction categories. I: Categories of partial maps

This page was built for publication: Unitary Theories, Unitary Categories