Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Article title
Gabriel-Ulmer duality and Lawvere theories enriched over a general base
Type
D - Journal article
Title of journal
Journal of Functional Programming
Article number
-
Volume number
19
Issue number
3-4
First page of article
265
ISSN of journal
0956-7968
Year of publication
2009
Number of additional authors
1
Additional information
<10>Steve Lack has continued to develop the ideas here, partly with Rosicky (e.g. doi 10.1007/s10485-009-9215-2) They (very mildly) weaken preservation of filtered colimits to preservation of sifted colimits
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Mathematical Foundations
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-