Comments for Annoying Precision
https://qchu.wordpress.com
"A good stack of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." - Paul HalmosFri, 27 Nov 2015 05:36:04 +0000hourly1http://wordpress.com/Comment on The Lawvere theory of Boolean functions by Jon Awbrey
https://qchu.wordpress.com/2015/11/26/the-lawvere-theory-of-boolean-functions/comment-page-1/#comment-5774
Fri, 27 Nov 2015 05:36:04 +0000http://qchu.wordpress.com/?p=21193#comment-5774☞ Differential Logic and Dynamic Systems
]]>Comment on Boolean rings, ultrafilters, and Stone’s representation theorem by The Lawvere theory of Boolean functions | Annoying Precision
https://qchu.wordpress.com/2010/11/22/boolean-rings-ultrafilters-and-stones-representation-theorem/comment-page-1/#comment-5773
Fri, 27 Nov 2015 05:14:43 +0000http://qchu.wordpress.com/?p=5999#comment-5773[…] answer is that they are Boolean algebras, and also that they are Boolean rings. Equivalently, the standard axiomatizations of Boolean algebras resp. Boolean rings describe two […]
]]>Comment on Operations and Lawvere theories by The Lawvere theory of Boolean functions | Annoying Precision
https://qchu.wordpress.com/2013/06/09/operations-and-lawvere-theories/comment-page-1/#comment-5772
Fri, 27 Nov 2015 05:14:41 +0000http://qchu.wordpress.com/?p=12810#comment-5772[…] Since this category has finite products and is freely generated under finite products by a single object, namely , it is a Lawvere theory. […]
]]>Comment on The categorical exponential formula by Conjugacy classes of finite index subgroups | Annoying Precision
https://qchu.wordpress.com/2015/11/04/the-categorical-exponential-formula/comment-page-1/#comment-5761
Thu, 26 Nov 2015 05:40:51 +0000http://qchu.wordpress.com/?p=19589#comment-5761[…] Previously we learned how to count the number of finite index subgroups of a finitely generated group . But for various purposes we might instead want to count conjugacy classes of finite index subgroups, e.g. if we wanted to count isomorphism classes of connected covers of a connected space with fundamental group . […]
]]>Comment on Forms and Galois cohomology by J.P. McCarthy
https://qchu.wordpress.com/2015/11/17/forms-and-galois-cohomology/comment-page-1/#comment-5746
Tue, 24 Nov 2015 13:57:10 +0000http://qchu.wordpress.com/?p=20645#comment-5746All LaTeX is and has been compiling fine for me.
]]>Comment on A monad is just a monoid in the category of endofunctors, what’s the problem? by Soham Chowdhury
https://qchu.wordpress.com/2015/11/05/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem/comment-page-1/#comment-5739
Sun, 22 Nov 2015 13:02:44 +0000http://qchu.wordpress.com/?p=19619#comment-5739Ah, that’s a shame. I figured I could ask you about the category-theoretic interpretations of a lot of things people do in advanced Haskell, if you did.
]]>Comment on Forms and Galois cohomology by Qiaochu Yuan
https://qchu.wordpress.com/2015/11/17/forms-and-galois-cohomology/comment-page-1/#comment-5735
Sat, 21 Nov 2015 05:55:18 +0000http://qchu.wordpress.com/?p=20645#comment-5735I’ve been seeing this for a few days now, and it’s the reason I stopped posting.
]]>Comment on A monad is just a monoid in the category of endofunctors, what’s the problem? by Qiaochu Yuan
https://qchu.wordpress.com/2015/11/05/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem/comment-page-1/#comment-5734
Sat, 21 Nov 2015 05:54:59 +0000http://qchu.wordpress.com/?p=19619#comment-5734Unfortunately, no. I want to learn it but it’s just never a high enough priority.
]]>Comment on Finite index subgroups of the modular group by Qiaochu Yuan
https://qchu.wordpress.com/2015/11/15/finite-index-subgroups-of-the-modular-group/comment-page-1/#comment-5733
Sat, 21 Nov 2015 05:54:17 +0000http://qchu.wordpress.com/?p=20404#comment-5733Yeah, I realized how to do it after writing this post and I’ve been drawing them for a few days now. It’s pretty fun.
]]>Comment on Finite index subgroups of the modular group by Will Sawin
https://qchu.wordpress.com/2015/11/15/finite-index-subgroups-of-the-modular-group/comment-page-1/#comment-5731
Sat, 21 Nov 2015 02:34:44 +0000http://qchu.wordpress.com/?p=20404#comment-57311. The best visualization is to draw the dessins d’enfants of the j function. 2. I wonder if there’s a count of congruence subgroups that you can use to compare the asymptotics and show how many more non-congruence ones there are.
]]>