PUTTING LIBERAL THEORY MORPHISMS TOGETHER IN INSTITUTIONS
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    The relationship among liberalities of glued theory morphisms and factor theory morphisms in institutions is clarified under certain intuitive conditions, and liberality of the composition of liberal theory morphisms in institutions is shown.

    Reference
    Related
    Cited by
Get Citation

应明生. Institution中自由理论态射的合成.软件学报,1997,8(8):636-640

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:
  • Revised:October 16,1996
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063