3
votes
1answer
43 views

Help defining the $\mathrm{supp}$ function on free algebraic structures.

Given an algebraic structure $F(K)$ freely generated by a set $K$ with underlying set $U(F(K))$, I'm trying to define a "support" map $\mathrm{supp} : U(F(K)) \rightarrow \mathcal{P}_\mathrm{fin}(K).$ ...
2
votes
2answers
100 views

On the category of Sets as an example of an algebraic category

What follows comes from Algebraic Theories, pag. 7. Definition An algebraic theory is a small category $\mathcal{T}$ with finite products. An algebra for the theory $\mathcal{T}$ is a functor ...
4
votes
2answers
138 views

Different ways of constructing the free group over a set.

This could be too broad if we're not careful. I'm sorry if it ends up that way. Let's put together a list of different constructions of the free group $F_X$ over a given set $X$. It seems to be ...
2
votes
1answer
46 views

“Elements” of algebraic structures

Let $T$ denote an algebraic theory, and $e$ denote the $T$-algebra freely generated by a singleton set, and write $U$ for the forgetful functor. Now suppose we're given a $T$-algebra $A.$ We might say ...
2
votes
1answer
36 views

Is there a phrase to describe those objects of $\mathbf{C}$ that can be expressed as quotients of the algebra freely generated by $X$?

Let $\mathbf{C}$ denote the category of models of an algebraic theory in $\mathbf{Set}.$ Now suppose $X$ is an object of $\mathbf{Set}$. Is there a traditional phrase used to describe those objects of ...
2
votes
1answer
103 views

Can I define a category as a monoid with partially defined multiplication?

A groupoid can either be thought of as a category whose morphisms are isomorphisms, or as a generalization of a group whose multiplication is only partially defined. Can I do a similar thing with ...
9
votes
2answers
142 views

What kind of object is the kernel of a ring homomorphism?

The category $\mathbf{Grp}$ of groups has a zero object, namely the trivial group $1$. Since $\mathbf{Grp}$ is furthermore complete, we have the notion of a kernel of a group homomorphism. The kernel ...
1
vote
1answer
94 views

Is there any relevance between Boolean Algebras and Fields?

In some sense Boolean Algebras and Fields have same operators and constants. In both structures there are operators addition ($+$ , $\vee$), multiplication ($\times$ , $\wedge$), inverse with respect ...
2
votes
0answers
53 views

Algeraic theory and definition of multiplication: tensor product v.s. Cartesian product

In a monoidal category, one can define multiplication on a object $M$ as a morphism \begin{equation} M\otimes M\longrightarrow M, \end{equation} or a morphism \begin{equation} M\times ...
1
vote
1answer
29 views

Coproduct of $(0,1)$-Algebras

I am trying to find the coproduct of $(\mathbb {Z},0,+1) $ with itself in the category of $(0,1) $-Algebras. Finding $\mathbb {N}\sqcup\mathbb {N} $ was easy, since $\mathbb{N} $ is initial. But I ...
11
votes
2answers
133 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
1
vote
1answer
33 views

Determining Objects in a Semicategory

Suppose $S$ is a small semicategory (or semigroupoid, if that's your preferred term) and $\cdot$ is the binary operation on $S$. Implicit in this definition is the set $\operatorname{Ob}(S)$ and two ...
3
votes
2answers
57 views

Why are the algebras of the associative operad unital?

According to the n-lab page: The associative operad Assoc is an operad which is generated by a binary operation $\Theta$ satisfying $$\Theta\circ(\Theta,1)=\Theta\circ(1,\Theta)$$ It then ...
0
votes
0answers
142 views

Collections of Homomorphic (defined) structures via $f$

Long ago I read a text about a collection of algebraic sturctures all homomorphic (or isomorphic) via a unique homomorphism An Example similar to the construction I found was this: Lets take define ...
11
votes
4answers
196 views

Why are particular combinations of algebraic properties “better” (richer and more pervasive) than others?

I am a second-year graduate student of pure mathematics. Like most graduate students, I have been exposed to many types of algebraic structures, and it seems standard for the major emphasis, if not ...
3
votes
1answer
38 views

Confirmation needed of the fact that subcategory $\mathbf{Lat}$ is not full in $\mathbf{Pos}$

If you are familiar with this stuff then you probably don't need the information I have added. So let me start with the question: Can you prove that category $\mathbf{Lat}$ is not a full ...
3
votes
1answer
26 views

Signatures having precisely one constant symbol, and pointed categories.

Given an algebraic signature $\sigma$ having precisely one constant symbol, is it true that if $A$ is a set of quasi-identities in the language of $\sigma$, then the set-theoretic models of ...
3
votes
0answers
46 views

Seeking information about (category-theoretic) varieties, quasivarieties, and universal Horn classes.

I'm looking for a list of basic facts regarding (category-theoretic) varieties, quasivarieties, and universal Horn categories, as well as information about which forgetful functors preserve what. In ...
6
votes
1answer
78 views

Obtaining a binary operation on $X \rightarrow Y$ from a binary operation on $Y$. What, if anything, to make of this observation?

Let $X$ and $Y$ denote sets. Then if $+$ is a binary operation on $Y$, then we can obtain a new binary operation $+'$ on $Y^X$ in a canonical way as follows. $$(f+' g)(x) = f(x)+g(x)$$ Question. The ...
4
votes
1answer
76 views

The “closed” subspaces of topological algebraic structures

Every set-theoretic model of an algebraic theory gives rise to notion of (algebraically) "closed subset" in a canonical fashion; namely, the closed subsets are those that cannot be escaped via the ...
4
votes
1answer
94 views

How does this definition capture the intuitive notion of an algebra?

On page 15 of this document, the author writes: Definition 1.1.1. Let $\mathcal{E}$ be any category. Given an endofunctor $\Gamma : \mathcal{E} \rightarrow \mathcal{E}$, a $\Gamma$-algebra ...
3
votes
2answers
80 views

For what categories do category algebras exist?

The monoid algebra $R[M]$, for a commutative ring $R$ and a monoid $M$, can be described as the free $R$-algebra on $M$. We think of $R[M]$ as the set of finite formal sums of elements of $M$ with ...
3
votes
2answers
124 views

Should axioms be viewed as part of the signature?

I included category theory in the tags in order to get feedback from the categorial logic community. It goes without saying that this isn't really category theory. A semigroup can be defined as a ...
3
votes
1answer
79 views

Completing a Partially Defined Associative Binary Operation

This is more like a question about terminology. I would like to hear some recommendations of books that discuss algebraic structures with one partially defined associative binary operation, and the ...
2
votes
1answer
30 views

Local smallness of Lawvere theories

Reading this blog post, I'm trying to care about foundational matters. To summarize the first part of the article, living in a univers $\mathcal V$ of sets, one defines a Lawvere theory as follow : ...
3
votes
2answers
82 views

Categories without identities

What's the name of "categories without identities", i.e. of digraphs with just an associative binary operation on its "matching" arrows (disregarding identities)?
2
votes
3answers
152 views

Preserving structures

Category theory abstracts the notion of the preservation of structure by means of morphisms. Is there a description of what it means to preserve structure of different types of mathematical structures ...
6
votes
2answers
111 views

In a slice category C/A of a category C over a given object A, What is the role of the identity morphism of A in C with respect to C/A

In a slice category $C/A$ of a category $C$ over a given object $A$, what is the role of the $C$ identity morphism, $A\to A$ ($1_A$), in $C/A$, particularly with respect to composition? I ...
1
vote
1answer
106 views

Initial structures in the category of algebraic systems of the same type

From Handbook of Analysis and Its Foundations by Eric Schechter 9.21. Basic properties of subalgebras. We consider the category consisting of the algebraic systems of some type $(τ, \mathcal{J})$, ...
17
votes
2answers
425 views

A structural proof that $ax=xa$ forms a monoid

During the discussion on this problem I found the following simple observation: If $M$ is a monoid and $a \in M$ then $\{x: ax = xa\}$ is a submonoid. This is trivial to prove by checking ...
2
votes
3answers
153 views

Free object is a coproduct: $F_{A\cup B}\cong F_A \coprod F_B$

Let $A,B$ be sets, and $A\sqcup B$ the disjoint union. Suppose that in a (concrete) category, the free objects $F_A,F_B,F_{A\sqcup B}$ exist, and that the coproduct $F_A \coprod F_B$ exists. How can I ...
4
votes
1answer
65 views

Associativity, Jacobi, and self-action representations

About a year and a half ago, I was at a talk by Martin Hyland where he suggested that the Jacobi identity is to the associative law as the anticommutative law is to the commutative law. I think this ...
2
votes
3answers
179 views

Are groups algebras over an operad?

I'm trying to understand a little bit about operads. I think I understand that monoids are algebras over the associative operad in sets, but can groups be realised as algebras over some operad? In ...
11
votes
1answer
241 views

Why do free monoids have a “trivial” automorphism group and free groups don't?

Let $X$ be a set and $M$ the free monoid over $X$. Then an automorphism $f$ of $M$ satisfies $f(X)=X$ and so $\text{Aut}(M)$ is canonically isomorphic to $\mathfrak{S}_X$. My Proof: For every word ...
84
votes
5answers
5k views

In (relatively) simple words: What is an inverse limit?

I am a set theorist in my orientation, and while I did take a few courses that brushed upon categorical and algebraic constructions, one has always eluded me. The inverse limit. I tried to ask one of ...
1
vote
5answers
525 views

Constructing a counterexample in category theory

Exercise 10 in Geroch's Mathematical Physics asks whether direct products distribute over direct sums in arbitrary categories. (They do in the category of sets, which is what motivates the question). ...
22
votes
4answers
2k views

Simple explanation of a monad

I have been learning some functional programming recently and I so I have come across monads. I understand what they are in programming terms, but I would like to understand what they are ...