Math Amateur
				
				
			 
			
	
	
	
		
			
				
					
					
					
					
					
					
					
					
						
		
	
	
			
		
		
			
			
				
							
								 Gold Member
							
						
					
					
					
					
										
						
							 MHB
						
					
					
					
				
			
- 3,920
- 48
I am reading Paul E. Bland's book, "Rings and Their Modules".
I am trying to understand Section 3.1 on Categories.
At present I am working on Problem 1 in Problem Set 3.1 and I need some help in understanding the problem and its solution.
Problem 1 (Problem Set 3.1) reads as follows:
View attachment 3599
Potential helpers on this problem will need to know Bland's definition of a category and his notation ... the definition reads as follows:View attachment 3600
View attachment 3601Thus for $$\mathscr{C}$$ we have that
$$\mathscr{O}$$ is the class of positive integers greater than or equal to $$2$$
and
the set of morphisms $$\text{Mor} (m,n)$$ is the set of $$m \times n$$ matrices over a commutative ring $$R$$
Now my problem concerns verifying and interpreting $$C1$$.
$$C1$$ requires that for all $$m, n \in \mathscr{O}$$ there is a (possibly empty) set $$\text{Mor} (m,n)$$ called the set of morphisms $$ f \ : \ m \rightarrow n$$ from $$m$$ to $$n$$ such that:
$$\text{Mor} (m,n) \cap \text{Mor} (s,t) = \emptyset \ \text{ if } \ (m,n) \ne (s,t)$$This of course is true since there is no common element between the set of $$m \times n$$ matrices and the set of $$s \times t$$ matrices when $$(m,n) \ne (s,t)$$... ... BUT ... what do we make of $$ f \ : \ m \rightarrow n$$? ... ... what does it represent? ... ... do we just ignore this as something that just does not fit the present case, or perhaps some formalism that does not matter?But then ... why does it not matter that there is no interpretation for $$ f \ : \ m \rightarrow n$$, that is no interpretation for $$f$$ ... ...I hope someone can clarify this (possibly simple) point.
Peter
				
			I am trying to understand Section 3.1 on Categories.
At present I am working on Problem 1 in Problem Set 3.1 and I need some help in understanding the problem and its solution.
Problem 1 (Problem Set 3.1) reads as follows:
View attachment 3599
Potential helpers on this problem will need to know Bland's definition of a category and his notation ... the definition reads as follows:View attachment 3600
View attachment 3601Thus for $$\mathscr{C}$$ we have that
$$\mathscr{O}$$ is the class of positive integers greater than or equal to $$2$$
and
the set of morphisms $$\text{Mor} (m,n)$$ is the set of $$m \times n$$ matrices over a commutative ring $$R$$
Now my problem concerns verifying and interpreting $$C1$$.
$$C1$$ requires that for all $$m, n \in \mathscr{O}$$ there is a (possibly empty) set $$\text{Mor} (m,n)$$ called the set of morphisms $$ f \ : \ m \rightarrow n$$ from $$m$$ to $$n$$ such that:
$$\text{Mor} (m,n) \cap \text{Mor} (s,t) = \emptyset \ \text{ if } \ (m,n) \ne (s,t)$$This of course is true since there is no common element between the set of $$m \times n$$ matrices and the set of $$s \times t$$ matrices when $$(m,n) \ne (s,t)$$... ... BUT ... what do we make of $$ f \ : \ m \rightarrow n$$? ... ... what does it represent? ... ... do we just ignore this as something that just does not fit the present case, or perhaps some formalism that does not matter?But then ... why does it not matter that there is no interpretation for $$ f \ : \ m \rightarrow n$$, that is no interpretation for $$f$$ ... ...I hope someone can clarify this (possibly simple) point.
Peter
