Blogs about: Category Theory
Featured Blog
Demos Spoonerism in transit to Globalisation
Number one congratulate Demos doing de facto this tryout at a islandology space clout the rolls pertinent to globalisation And a prodigious fad in order to Britain modern the strange unreserved mentio… more →
Monroenwo's Weblog
On Pointing (Part 4)
wrote 1 day ago: Dear All, Please find attached a note (OnPointingPart4) in which we get to ask the following questio … more →
On Pointing (Part 3)
wrote 2 days ago: Dear All, Please find attached a note (OnPointingPart3) in which we look at graph maps with generic … more →
On Pointing (Part 2)
wrote 1 week ago: Dear All, Please find attached a note (OnPointingPart2) in which we look at the graph map with gener … more →
Chandamama raave (On Pointing, Part 1)
wrote 1 week ago: Dear All, Please find attached a note (OnPointingPart1) in which we get to talk about ‘pointing to’, … more →
Monics to Sections
wrote 1 week ago: This will be a continuation of the idea started on the last post, Generalizing Concepts: Injective t … more →
Talk about categorical models of temporal logic and FRP
wrote 1 week ago: I recently gave a talk about the main points of my MFPS ’12 paper. The title of the talk was Categor … more →
Generalizing Concepts: Injective to Monic
wrote 2 weeks ago: Today’s post will go through how we can take a concept and abstract it categorically, which me … more →
Topoi 3.6: Terminal Objects
wrote 2 weeks ago: Prove that all terminal C-objects are isomorphic. Find terminals in Set2, Set→, and the poset n … more →
Conceptual Mathematics posts
wrote 2 weeks ago: https://docs.google.com/open?id=0BwI5wvYXZ9I1bVVrbmNJQkM1RzA https://docs.google.com/open?id=0BwI5wv … more →
Topoi 3.4: Isomorphic Objects
wrote 2 weeks ago: Show For any C-object if then if then then . Finord is a skeletal category. 3.4.1 By exercise 3.3.1, … more →
Topoi 3.3: Iso Arrows
wrote 2 weeks ago: Show that: 1. Every identity arrow is iso. 2. If f is iso, so is . 3. is iso if f, g are, with . 3.3 … more →
Topoi 3.1: Monic Arrows
wrote 2 weeks ago: In any category show (1) is monic if both f and g are monic and (2) if is monic then so is f. 3.1.1 … more →
What are categories?
wrote 2 weeks ago: I felt like I needed to do an introductory post about categories before I started looking at neat th … more →
Dominic Verity on Category Theory
wrote 2 weeks ago: Dominic Verity on Category Theory … more →
Category Theory and Scala http hseeberger wordpress com...
wrote 2 weeks ago: Category Theory and Scala: http://hseeberger.wordpress.com/2010/11/25/introduction-to-category-theor … more →
Associative Law in the Category of Graphs
wrote 2 weeks ago: Dear All, Please find attached a note (AssociativityInCategoryOfGraphs), which discusses associative … more →
Exercise 6 (Conceptual Mathematics, page 159)
wrote 2 weeks ago: Dear All, Please find attached a note (Exercise6Page159) in which we complete (?) Exercise 6 (Concep … more →
Relation Composition as Matrix Multiplication
wrote 2 weeks ago: So today I initially wanted to jump straight into some category theory stuff. But I couldn’t d … more →
On editing text
— 9 comments
wrote 3 weeks ago: Editing text is the opposite of handling exceptions; or, to put it another way, editing text is like … more →
