Displaying similar documents to “On some properties of cohomotopy-type functors.”

Semantics of MML Query

Grzegorz Bancerek (2012)

Formalized Mathematics

Similarity:

In the paper the semantics of MML Query queries is given. The formalization is done according to [4]

A categorical concept of completion of objects

Guillaume C. L. Brümmer, Eraldo Giuli (1992)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We introduce the concept of firm classes of morphisms as basis for the axiomatic study of completions of objects in arbitrary categories. Results on objects injective with respect to given morphism classes are included. In a finitely well-complete category, firm classes are precisely the coessential first factors of morphism factorization structures.