Publication:2849875

zbMath1272.18001MaRDI QIDQ2849875

Mario Cáccamo, Glynn Winksel

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105000319

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

18A22: Special properties of functors (faithful, full, etc.)

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

18A23: Natural morphisms, dinatural morphisms

Related Items

Non-canonical isomorphisms, Pseudoalgebras and non-canonical isomorphisms