[fod] Seminar: Category theory applic in Inf Systems 11.00AM TOMORROW,Tue 6 Nov (fwd)

[Janet Wiles <janetw@itee.uq.edu.au>]

If you are interested in meta-level analyses of systems, category theory
is a natural fit, and this seminar may be of interest.

---------- Forwarded message ----------
To: seminar-announce@csee.uq.edu.au

Refinement of complex data structures using category theory

Speaker: A/Prof Bob Colomb , CSEE
When: 11.00AM, Tuesday 6 Nov 2001
Venue: 78-420
Abstract:

    Complex data structures such as encountered in information
    systems can be represented as networks of sets and functional
    dependencies.  These networks can be very large (many hundreds
    of sets), and have long resisted modularisation. It has been
    possible to develop highly general models, but very difficult to
    argue that the more detailed model is a refinement of the more
    general. We have discovered that it is possible to represent
    these networks as categories in category theory, and that a very
    plausible method of specifying refinement is using a special
    type of graph homomorphism called a fibration. This definition
    leads to a set of guidelines for refinement. The guidelines have
    potential for application to problems of information system
    interoperation.

Biography:
Contact:
Bob Colomb (colomb@itee.uq.edu.au)
or Ian Peake (CSEE seminar co-ordinator) (ian.peake@csee.uq.edu.au)
CSEE seminar web page: http://www.csee.uq.edu.au/~seminar
----------------------------------------------------------------------
[All_seminars]
[This notice was generated automatically from the CSEE seminar archive]