Monthly Archives: May 2014

Unique isomorphism and generalized “the”

Posted on May 13, 2014 by Brent

This is part two in a series of posts on avoiding the axiom of choice; you can read part one here. In category theory, one is typically interested in specifying objects only up to unique isomorphism. In fact, definitions which … Continue reading →

Posted in category theory, math, species | Tagged , , , , , , , , | 8 Comments

Avoiding the axiom of choice, part I

Posted on May 8, 2014 by Brent

I’m hard at work on my dissertation, and plan to get back to doing a bit of blogging based on stuff I’m writing and thinking about, as a way of forcing myself to explain things clearly and to potentially get … Continue reading →

Posted in category theory, math, species | Tagged , , , , , | 17 Comments