# Tagged Questions

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).$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 $$M\otimes M\longrightarrow M,$$ or a morphism M\times ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 : ...
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)?
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 ...
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 ...
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})$, ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...