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  3672 reads

Browse archivesActive forum topics 
Recent comments
20 hours 6 min ago
22 hours 15 min ago
1 day 5 hours ago
1 day 10 hours ago
1 day 10 hours ago
1 day 12 hours ago
1 day 19 hours ago
1 day 21 hours ago
2 days 12 min ago
2 days 26 min ago