scientific article
From MaRDI portal
Publication:2919784
zbMath1253.18001MaRDI QIDQ2919784
No author found.
Publication date: 22 October 2012
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/22/tr22abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
2-categoriesfibrationstoposessketchesdistributive categoriesautonomous categoriesmonoidal catagories
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items
Lawvere theories enriched over a general base ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Proving semantical equivalence of data specifications
