Cat Blog jadeedenstarmaster.wordpress.com

Can enriched category theory compute? An experiment in Idris2

jadeedenstarmaster.wordpress.com·117w

Getting to the bottom of “the square”

jadeedenstarmaster.wordpress.com·126w

How to Stay Locally Safe in a Global World (Part III: The Global Safety Poset)

jadeedenstarmaster.wordpress.com·126w

How to Stay Locally Safe in a Global World (Part II: Defining a World And Stating the Problem)

jadeedenstarmaster.wordpress.com·126w

How to Stay Locally Safe in a Global World (Part I: Introduction)

jadeedenstarmaster.wordpress.com·128w

How to stay safe when you and your friends share a giant computer (Part 1: we are a functor)

jadeedenstarmaster.wordpress.com·128w

Fibrational and Dependent Decompositions are Equivalent

jadeedenstarmaster.wordpress.com·136w

The Fibrational Perspective on Graph Decompositions

jadeedenstarmaster.wordpress.com·146w

What is a Graph Decomposition?

jadeedenstarmaster.wordpress.com·146w

Read my paper please

jadeedenstarmaster.wordpress.com·206w

Log in to enable infinite scrolling