Monad compositions. I: General constructions and recursive distributive laws.
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
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.
Grzegorz Bancerek (2012)
Formalized Mathematics
Similarity:
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]
Freyd, Peter (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Trnková, V, Sichler, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Chaoling Huang, Kai Deng (2013)
Matematički Vesnik
Similarity:
Cruttwell, G.S.H., Marmolejo, F., Wood, R.J. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Kuźma, M., Lulek, B. (1992)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Turmanov, M.A. (2001)
Sibirskij Matematicheskij Zhurnal
Similarity:
Chekhlov, A.R. (2001)
Sibirskij Matematicheskij Zhurnal
Similarity:
Khazhomia, S. (1995)
Georgian Mathematical Journal
Similarity:
Sibert, H. (2000)
Siberian Mathematical Journal
Similarity: