Unitary Theories, Unitary Categories
From MaRDI portal
Publication:3178243
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
completionspartial algebrapartial combinatory algebraspartial equational logicclassifying categoriespartial combinatory logicunitary categories
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