I am interested in category theoretic modelling of open systems. An introduction to my work can be found on SuperWingy免费节点, my DPhil thesis, or my book An Invitation to Applied Category Theory.
I am an executive editor of wingy下载官网, and organise the MIT Categories Seminar.
I believe in actively working to improve inclusivity in category theory and mathematics at large.
点点加速器-outline
This January Bartosz Milewski, David Spivak and I will be teaching a course at MIT on programming with categories. All welcome!
点点加速器-outline
My book (with David Spivak) is available in print or on the arXiv:- B. Fong, D. Spivak, 'An Invitation to Applied Category Theory: Seven Sketches in Compositionality', Cambridge University Press 2024, superwingy下载官网.
A course based on this book was taught at MIT in January 2024; videos are available here.
点点加速器-outline
跨境电商必备 – 购买VPS搭建SS/SSR账号 教您自建节点 ...:2021-9-5 · 比SS/SSR节点更安全，效率更高，速度更快，延迟更低！一起玩转TROJAN！ 不要怕看不懂，反复多看多操作几次，即使不懂英文，只要懂得电脑操作，按照下面的文章也会安装成功的。 （如果安装失败只要VPS还原空
- B. Fong, D. Spivak, 'Regular and relational categories: revisiting "Cartesian bicategories I"', arXiv:1909.00069.
- B. Fong, D. Spivak, 'Supplying bells and whistles in symmetric monoidal categories', arXiv:1908.02633.
- B. Fong, A. Speranzon, D. Spivak, 'Temporal landscapes: a graphical temporal logic', arXiv:1904.01081.
- B. Fong, M. Johnson, 'Lenses and learners', ariXv:1903.03671.
- B. Fong, D. Spivak, 'Graphical regular logic', arXiv:1812.05765.
- B. Fong, M. Sarazola, 'A recipe for black box functors', SuperWingy免费节点.
- B. Fong, D. Spivak, 'Hypergraph categories', arXiv:1806.08304.
- B. Fong, D. Myers, D. Spivak, 'Behavioral mereology', arXiv:1811.00420.
- B. Fong, D. Spivak, R. Tuyeras, 'Backprop as functor: a compositional perspective on supervised learning', wingy下载官网.
- B. Fong, F. Zanasi, 'Universal constructions for (co)relations: categories, monoidal categories, props', arXiv:1710.03894.
- B. Fong, 'Decorated corelations', Theory and Applications of Categories, Vol. 33, 2018, No. 22, pp. 608--643, arXiv:1703.09888.
- B. Fong, F. Zanasi, 'A universal construction for (co)relations', 免费ssr节点2022, arXiv:1703.08247.
- B. Fong: 'The algebra of open and interconnected systems', DPhil thesis, University of Oxford (2016), arXiv:1609.05382.
- B. Coya, B. Fong: 'Corelations are the prop for extraspecial commutative Frobenius monoids', Theory and Applications of Categories, Vol. 32, 2017, No. 11, pp. 380-395, arXiv:1601.02307.
- B. Fong, P. Sobocinski, P. Rapisarda: 'A categorical approach to open and interconnected systems', Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (2016), arXiv:1510.05076.
- J. C. Baez, B. Fong, B. Pollard: 'A compositional framework for Markov processes', Journal of Mathematical Physics, 57 (2016), 033301, arXiv:1508.06448.
- J. C. Baez, B. Fong: 'A compositional framework for passive linear networks', arXiv:1504.05625.
- B. Fong: 'Decorated cospans', Theory and Applications of Categories, Vol. 30, 2015, No. 33, pp. 1096--1120, arXiv:1502.00872.
- B. Fong, H. Nava Kopp: 'Additive monotones for resource theories of parallel combinable processes', Electronic Proceedings in Theoretical Computer Science (QPL 2015), 195 (2015), pp. 170--178, arXiv:1505.02651.
- B. Fong: 'A note on interleaved quantum teleportation', Technical Report CS-RR-14-09, University of Oxford (2014), available here.
- J. C. Baez, B. Fong: 'Quantum techniques for studying equilibrium in chemical reaction networks', Journal of Complex Networks (2014), doi: 10.1093/comnet/cnu013, arXiv:1305.4988.
- J. C. Baez, B. Fong: 'A Noether theorem for Markov processes', Journal of Mathematical Physics 54 (2013), 013301, arXiv:1203.2035.
- B. Fong: 'Causal theories: a categorical perspective on Bayesian networks', Master's thesis, University of Oxford (2012), arXiv:1301.6201.
- B. Fong: 'On families of elliptic curves', Honours thesis, Australian National University and National University of Singapore (2010), wingy下载官网.
点点加速器-outline
- 'Hypergraph categories as cospan algebras', Category Theory 2018, 8-14 July 2018. slides
- 'Backprop as functor', 2nd Workshop on Open Games, 4-6 July 2018. slides
- 'Decorated cospans', Special Session on Applied Category Theory, AMS Fall Western Sectional, University of California Riverside, 4-5 November 2017. slides
- 'Constructing categories of corelations', Category Theory Octoberfest, Carnegie Mellon University, 28-29 October 2017. slides