Joshua Meyers is an applied category theorist currently pursuing monastic training but nonetheless offering mathematical guidance. You can also support my training.