Kris Brown

Applied category theory research at Topos Institute. Otherwise normal.

[Kris Brown @ksb_id]

@DavidCorfield8 Sorry for the delay, but I've gotten around to replying! Thanks for linking to your thought-provoking slides!

[Kris Brown @ksb_id]

Follow-up Brandom post: many concepts aren't amenable to logical encoding, so they're systematically ignored and dismissed in STEM. But we can build formal systems that incorporate these norms while still being able to use our familiar mathematical logic https://t.co/2Izo72KiGT

[Kris Brown @ksb_id]

I summarized some philosophy ideas that I like (from Rorty / Brandom) and drew some connections to research at Topos.

[Topos Institute @ToposInstitute]

New blog post: Responsible mathematics and metaphors of semantics, by Kris Brown
https://t.co/0n2tD6aVbP

[James Fairbanks @fairbanksjp]

New paper on rewriting presheaves with @ejpatters and @ksb_id! https://t.co/Ej0nCnw1vM

[Kris Brown @ksb_id]

Recently geared a talk towards computational scientists / SW engineers to show how category theory can be a practical tool for structuring our models / code, making them more transparent + extensible to future changes we'll want to make. Lots of examples! https://t.co/m4lkxe6zqv

[Kris Brown @ksb_id]

New blog post about recent work in applied category theory. With a high degree of generality, we consider data that can have many types of symmetries and answer the questions: when are two objects basically the same? How do you compute a canonical form? https://t.co/htVMQ0NPYh