Monad compositions. I: General constructions and recursive distributive laws.
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Linear extensions and nilpotence of Maltsev theories.”
Monad compositions. I: General constructions and recursive distributive laws.
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.
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]
Algebraic real analysis.
Freyd, Peter (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Limit preserving full embeddings.
Trnková, V, Sichler, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Relative EXT groups of Abelian categories
Chaoling Huang, Kai Deng (2013)
Matematički Vesnik
Similarity:
CCD lattices in presheaf categories.
Cruttwell, G.S.H., Marmolejo, F., Wood, R.J. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
The Mac Lane method of construction and classification of extensions of cyclic groups by their automorphism groups.
Kuźma, M., Lulek, B. (1992)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
On purity and quasi-equality of Abelian groups.
Turmanov, M.A. (2001)
Sibirskij Matematicheskij Zhurnal
Similarity:
On decomposable fully transitive torsion-free groups.
Chekhlov, A.R. (2001)
Sibirskij Matematicheskij Zhurnal
Similarity:
On some properties of cohomotopy-type functors.
Khazhomia, S. (1995)
Georgian Mathematical Journal
Similarity:
Automorphic objects in categories.
Sibert, H. (2000)
Siberian Mathematical Journal
Similarity:
Mizar Analysis of Algorithms: Algorithms over Integers
Grzegorz Bancerek (2008)
Formalized Mathematics
Similarity:
This paper is a continuation of [5] and concerns if-while algebras over integers. In these algebras the only elementary instructions are assignment instructions. The instruction assigns to a (program) variable a value which is calculated for the current state according to some arithmetic expression. The expression may include variables, constants, and a limited number of arithmetic operations. States are functions from a given set of locations into integers. A variable is a function...