Another year, another cohort of wonderful Summer Research Associates (RAs) at Topos working on exciting projects. As is now the custom, we’ve asked each of them to introduce themselves and write a little bit about what they’ll be working on over the summer, with more detailed blog posts from each one to come soon!| Topos Institute
Previously: Subobject Classifier. In category theory, objects are devoid of internal structure. We’ve seen however that in certain categories we can define relationships between objects that …| Bartosz Milewski's Programming Cafe
Proviously Sieves and Sheaves. We have seen how topology can be defined by working with sets of continuous functions over coverages. Categorically speaking, a coverage is a special case of a sieve,…| Bartosz Milewski's Programming Cafe