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

Browse archives
Active forum topics

Recent comments
20 weeks 23 hours ago
24 weeks 2 days ago
26 weeks 1 hour ago
26 weeks 1 hour ago
28 weeks 4 days ago
33 weeks 2 days ago
33 weeks 2 days ago
33 weeks 5 days ago
33 weeks 5 days ago
36 weeks 4 days ago