Department of Mathematics
Stockholm University
Research Reports in Mathematics
Number 9, 2003
Jesper Carlström.
Formalized Limits and Colimits of Setoids.
Publication date:
September 17, 2003.
Keywords:
Type Theory, Setoids, Limits, Colimits, Projective systems, Inductive systems, Projective limits, Inductive limits.
2000 MSC:
Primary
03B15,
Secondary
18B05, 18B35.
Download report as:
[
PostScript
][
Portable Document Format
]
[
2003
][
Report archive
][
Dept Math
]
