scientific article
From MaRDI portal
Publication:2919773
zbMath1252.18004MaRDI QIDQ2919773
Xiuzhan Guo, J. Robin B. Cockett, Pieter J. W. Hofstra
Publication date: 22 October 2012
Full work available at URL: http://www.emis.de/journals/TAC/volumes/26/18/26-18abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) General logic (03B99) Enriched categories (over closed or monoidal categories) (18D20) Foundations, relations to logic and deductive systems (18A15)
Related Items (6)
Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Categorical semantics of a simple differential programming language ⋮ The algebra of functions with antidomain and range ⋮ Domain and range for angelic and demonic compositions ⋮ Formalizing abstract computability: Turing categories in Coq ⋮ Aspects of Categorical Recursion Theory
This page was built for publication:
