Talk:Free algebra

From Wikipedia, the free encyclopedia

You have new messages (last change).

In articles like this, I understand why the category theory definition is nice, as it is so general, but I don't (personally) find it very useful. A definition in a universal algrebra book or paper would look more like this:

Let S be any set, let \mathbf{A} be a algebra of type ρ, and let \psi :S \longrightarrow \mathbf{A} be a function. we say that (\mathbf{A}, \psi) (or informally just \mathbf{A}) is a free algebra (of type ρ) on the set S of free generators if, for every algebra \mathbf{B} of type ρ and function \tau : S \longrightarrow \mathbf{B}, there exists a unique homomorphism \psi :\mathbf{S} \longrightarrow \mathbf{B} such that ψσ = τ.

So I have a couple questions:

1) Is there a central WP place where the benifits of catagory theory type definitions of concepts are weighed, and from which I could judge when other perspectives are appropriate?

2) Assuming this definition is not horribly mangled, would it be appropriate to add a universal algebra type definition of the a free algebra such as this one to this article?

I am assuming this discussion already exists somewhere on some article, and I don't want to have it all over again. Thanks. Smmurphy(Talk) 23:20, 21 February 2006 (UTC)

Retrieved from "http://en.wikipedia.org../../../f/r/e/Talk%7EFree_algebra_215d.html"