Spelling suggestions: "subject:"categories (amathematics)"" "subject:"categories (bmathematics)""
1 
Generalising the structuresemantics adjunction : operational categoriesJay, C. Barry. January 1984 (has links)
No description available.

2 
A survey of the representations of categories.Chiu, Wingkin. January 1967 (has links)
ThesisM.A., University of Hong Kong. / Typewritten.

3 
A survey of the representations of categoriesChiu, Wingkin., 趙永堅. January 1967 (has links)
published_or_final_version / Mathematics / Master / Master of Arts

4 
Internal category theoryMelkonian, Sam January 1977 (has links)
No description available.

5 
Full embeddings and the category of graphsMendelsohn, Eric. January 1968 (has links)
No description available.

6 
Completion of categories under certain limitsMeyer, Carol V. (Carol Vincent) January 1983 (has links)
To complete a category is to embed it into a larger one which is closed under a given type of limits (or colimits). A fairly classical construction scheme, in which the objects of the new category are defined as "formal limits" of diagrams of the given one, is carried out in two specific examples. / In the case of the exact completion (')C of a finitely complete category C, we look at "formal coequalizers" of equivalence spans of C, which end up being the quotients (in (')C) of the corresponding equivalence relation. The objects of (')C are hence objects of C together with an equivalence span, and its morphisms are equivalence classes of "compatible" morphisms of C. Thus constructed, (')C is an exact category whose structure is studied in detail in Chapter I, as well as the universal property it satisfies. / The second example is the category proC of proobjects, or "formal cofiltered limits" of C. Its objects are cofiltered diagrams of C, but can be characterized in various ways. The known properties of proC are summarized, extended and used to lift to proC some regularity and exactness properties of C (Chapters II & III). / The category of finite sets is an interesting example: its category of proobjects is equivalent to the category of Stone spaces which is not exact, but whose exact completion in the sense of {9} is the category of compact Hausdorff spaces.

7 
Generalising the structuresemantics adjunction : operational categoriesJay, C. Barry. January 1984 (has links)
The idea of an operational category over A generalizes the notions of tripleable and equational category over A, and also the dual notions of cotripleable and coequational category. An operational category, U:D (>) A is given by a presentation ((theta),H) (UNFORMATTED TABLE FOLLOWS) / D C('T) / C('(theta)) / A C('B) / H*(TABLE ENDS) / where (theta) is a functor bijective on objects and D is a specified pullback. R:Op(A) (>) Cat/A is defined as the category of operational categories (and functors) with given presentations. Another category, Op(,o)(A) over Cat/A of operational categories with standard presentations is also defined. There is a fixed theory (theta)(,o), employed in every standard presentation. Op(,o)(A) is a retract of Op(A) over Cat/A: (UNFORMATTED TABLE FOLLOWS) / i / Op(,o)(A) Op(A) / s / R(,o) R / Cat/A(TABLE ENDS) / i.e. every operational category (and functor) has a standard presentation (but not s(REVTURNST)i!). Also R(,o) has a left adjoint L(,o) and Op(,o)(A) is complete. Finally, there is a category of algebras, S(,*)Alg over Cat/A such that Op(,o)(A) (DBLTURN) S(,*)Alg over Cat/A. Thus, the operational categories can be determined by their internal structure, without reference to any presentation. Some properties of operational categories and some special cases are also examined.

8 
Reflective subcategoriesBaron, Stephen. January 1967 (has links)
No description available.

9 
Absoluteness properties in category theoryParé, Robert. January 1969 (has links)
No description available.

10 
Relations in categories.Meisen, Jeanne January 1972 (has links)
No description available.

Page generated in 0.0769 seconds