The category of pointed sets (and point-preserving functions) is kind of like the category of sets (and functions), except that the axiom of choice is just true.
Some things that are here
An erratically- and infrequently-updated blog (and its atom feed).
A self-contained but undocumented implementation of a dice board game. (A clone of the classic Can't Stop.)