A generalization of the concept of sketch
- 15 January 1990
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 70 (1) , 159-178
- https://doi.org/10.1016/0304-3975(90)90158-e
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On the decidability of objects in a locosContemporary Mathematics, 1989
- Categorical aspects of data type constructorsTheoretical Computer Science, 1987
- On the essentially-algebraic theory generated by a sketchBulletin of the Australian Mathematical Society, 1982
- Examples of non-monadic structures on categoriesJournal of Pure and Applied Algebra, 1980
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972