Electronic Resource
Springer
Applied categorical structures
2 (1994), S. 283-295
ISSN:
1572-9095
Keywords:
18A25
;
18A40
;
18C10
;
Morita-equivalence
;
bimodel
;
Kan-extension
;
reflective subcategory
;
algebraic theory
;
faithfully projective model
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract We discuss the notion of bimodel in order to obtain a classification of the equivalences between categories of models in the sense of functorial semantics.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00878101
Permalink
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |