Morphisms - revision history

Dank at 10:42, 22 April 2026

2026-04-22T10:42:31Z

← Older revision		Revision as of 10:42, 22 April 2026
Line 1:		Line 1:
	we're using category theory definitions here, but where the term is used elsewhere, i'll try to note that.		a [https://en.wikipedia.org/wiki/Morphism morphism] is a structured, composable mapping. we're using category theory definitions here, but where the term is used elsewhere, i'll try to note that.

	* morphism: a structure-preserving relationship		* morphism: a structure-preserving relationship
	** operating on a source and target (often called domain and codomain)		** operating on a source and target (often called domain and codomain)
	** with the partial binary composition operator represented by ∘		** with the partial binary composition operator represented by ∘
	*** this operator is associative and respects identity		*** this operator is associative, and respects identity
	** a category is made up of the class of objects (often sets) and class of morphisms (often functions).		** a category is made up of the class of objects (often sets) and class of morphisms (often functions).
	* anamorphism		* anamorphism

Dank at 18:20, 28 March 2025

2025-03-28T18:20:56Z

← Older revision		Revision as of 18:20, 28 March 2025
Line 1:		Line 1:
			we're using category theory definitions here, but where the term is used elsewhere, i'll try to note that.

			* morphism: a structure-preserving relationship
			** operating on a source and target (often called domain and codomain)
			** with the partial binary composition operator represented by ∘
			*** this operator is associative and respects identity
			** a category is made up of the class of objects (often sets) and class of morphisms (often functions).
	* anamorphism		* anamorphism
	* automorphism
	* bimorphism - both an epimorphism and a monomorphism
	* catamorphism		* catamorphism
	* diffeomorphism		* diffeomorphism
	* endomorphism		* endomorphism: a morphism with identical source and target
	* epimorphism		* epimorphism
	* homomorphism		* homomorphism
Line 10:		Line 15:
	* hylomorphism		* hylomorphism
	* isomorphism		* isomorphism
	* monomorphism
	* paramorphism		* paramorphism
			* monomorphism: a left-cancellative morphism
			** often called a "mono". monomorphic behavior is often called "monic".
			** in algebra, an injective homomorphism
			* bimorphism: both an epimorphism and a monomorphism
			* automorphism: both an endomorphism and an isomorphism

Dank: Created page with '* anamorphism * automorphism * bimorphism - both an epimorphism and a monomorphism * catamorphism * diffeomorphism * endomorphism * epimorphism * homomorphism * homeomorphism * h...'

2009-12-02T01:30:25Z

Created page with '* anamorphism * automorphism * bimorphism - both an epimorphism and a monomorphism * catamorphism * diffeomorphism * endomorphism * epimorphism * homomorphism * homeomorphism * h...'

New page

* anamorphism
* automorphism
* bimorphism - both an epimorphism and a monomorphism
* catamorphism
* diffeomorphism
* endomorphism
* epimorphism
* homomorphism
* homeomorphism
* hylomorphism
* isomorphism
* monomorphism
* paramorphism