User loginNavigation 
Algebraic vs. Coalgebraic methodsAs I started learning category methods, I noticed that my prior attitude dismissing it as "abstract nonsense" was based upon ignorance. As somebody with physics background I begin to appreciate shifting emphasis from objects onto symmetry, invariance (err morphisms). So in order to understand structure one has to master morphisms. Fine. Let's compare this with algebraic perspective. There we study objects and operations between them. When we constrain those operations with some axioms we get an algebraic system. A significant part of studying a concrete algebra would be discovering its axiom system. For example, Relation Algebra has been discovered by Pierce, but hasn't been fully axiomatized until Tarski. Now, how would I study Relation Algebra with methods of category theory? As discovery is significant element of algebraic method and category theory is in a sense dual perspective, I'd guess drawing arrows wouldn't advance me too much, and I would have to discover some important morphisms... Perhaps, a helpful analogy would be how is it done in other categories (preferably, from elementary mathematical fields:)? By Tegiri Nenashi at 20100204 00:01  LtU Forum  previous forum topic  next forum topic  other blogs  3503 reads

Browse archivesActive forum topics 
Recent comments
3 days 4 hours ago
4 days 4 hours ago
4 days 6 hours ago
4 days 6 hours ago
5 days 12 hours ago
5 days 13 hours ago
6 days 7 hours ago
6 days 9 hours ago
6 days 9 hours ago
1 week 1 hour ago