Tag Archives: category theory

Logic without truth

Pi is wrong! But so what? It is neither new, nor complicated enough to count as real math! And suggestions that  or  might be even better show that it not clear-cut either. I recently invested sufficient energy into some logical questions to … Continue reading

Posted in category theory, logic, partial functions | Tagged , , | 5 Comments

Learning category theory: a necessary evil?

The end of my last blog post (about isomorphism testing of reversible deterministic finite automata) explained how category theory gave me the idea that the simplified variant of my question about permutation group isomorphism should be easy to solve: The idea to consider … Continue reading

Posted in category theory, isomorphism | Tagged , | Leave a comment