7 results
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part II
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 4 / April 2022
- Published online by Cambridge University Press:
- 16 December 2022, p. 348
-
- Article
-
- You have access
- HTML
- Export citation
A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 7 / August 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 746-747
-
- Article
-
- You have access
- Export citation
The Catalan simplicial set
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 158 / Issue 2 / March 2015
- Published online by Cambridge University Press:
- 03 December 2014, pp. 211-222
- Print publication:
- March 2015
-
- Article
- Export citation
A Quillen model structure for Gray-categories
-
- Journal:
- Journal of K-Theory / Volume 8 / Issue 2 / October 2011
- Published online by Cambridge University Press:
- 24 September 2010, pp. 183-221
- Print publication:
- October 2011
-
- Article
- Export citation
Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 265-286
-
- Article
-
- You have access
- Export citation
Restriction categories III: colimits, partial limits and extensivity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 4 / August 2007
- Published online by Cambridge University Press:
- 01 August 2007, pp. 775-817
-
- Article
- Export citation
Adhesive and quasiadhesive categories
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 39 / Issue 3 / July 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 511-545
- Print publication:
- July 2005
-
- Article
- Export citation