publications
Publications and preprints in reverse chronological order.
2025
- PreprintComposable Uncertainty in Symmetric Monoidal Categories for Design ProblemsMarius Furter, Yujun Huang, and Gioele ZardiniMar 2025
Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging wires, or compact closed structures for feedback. A key example is the compact closed SMC of design problems (DP), which enables a compositional approach to co-design in engineering. However, in practice, the systems of interest may not be fully known. Recently, Markov categories have emerged as a powerful framework for modeling uncertain processes. In this work, we demonstrate how to integrate this perspective into the study of open systems while preserving consistency with the underlying SMC structure. To this end, we employ the change-of-base construction for enriched categories, replacing the morphisms of a symmetric monoidal V-category C with parametric maps A -> C(X,Y) in a Markov category induced by a symmetric monoidal monad. This results in a symmetric monoidal 2-category N*C with the same objects as C and reparametrization 2-cells. By choosing different monads, we capture various types of uncertainty. The category underlying C embeds into N*C via a strict symmetric monoidal functor, allowing (co)monoidal and compact closed structures to be transferred. Applied to DP, this construction leads to categories of practical relevance, such as parametrized design problems for optimization, and parametrized distributions of design problems for decision theory and Bayesian learning.
2023
- PosterProbabilistic Signaling Networks: Mechanistic Modeling in Markov CategoriesMarius FurterJul 2023Presented at Applied Category Theory 2023
2021
- Student PaperModeling Choice in Co-DesignMarius FurterJul 2021
This report describes a method for modeling free and forced choice within Co-Design. In a free choice among a set, one has control over which option is selected, while in a forced choice one does not. Given a preorder P describing resources or functionalities, a free choice among a subset of P acts like a meet. Dually, a forced choice acts like a join. Moreover, the two types of choice distribute over one another. Based on this, we construct a universal model for choice on a preorder using the free completely distributive lattice ULP. Feasibility relations are then extended to these models. Along the way, we illustrate how to work within ULP and provide results that simplify calculations. The definitions presented here have been implemented in Haskell.
2020
- JGOThe targeted delivery of interleukin-12 to the carcinoembryonic antigen increases the intratumoral density of NK and CD8+ T cell in an immunocompetent mouse model of colorectal cancerEmanuele Puca, Caroline Schmitt-Koopmann, Marius Furter, and 5 more authorsJournal of Gastrointestinal Oncology, Aug 2020
The recent success achieved by immune checkpoint inhibitors in the field of immuno-oncology has been less evident for the treatment of metastatic colorectal cancer (mCRC) patients. To date, cancer immunotherapy has been efficacious only in few patients bearing high mutational burden (less than 25%) mCRCs. In this Communication, we report the generation of a novel antibody cytokine fusion protein (termed Sm3E-mIL12) targeting the CRC-associated carcinoembryonic antigen (CEA). The antibody moiety bound avidly to CEA when immobilized on solid supports, and selectively stained C51 tumor cells transfected with the antigen (C51-CEA). The cytokine payload retained full activity in vitro, as compared to the parental recombinant interleukin-12 (IL12). Ex vivo microscopic analyses revealed a homogenous distribution of Sm3E-mIL12 in the neoplastic mass upon intravenous administration. In vivo, Sm3E-mIL12 was well tolerated up to 180 µg per mouse. The targeted delivery of IL12 to CEA-expressing C51 carcinomas led to durable complete responses in 60% of the treated mice. The intratumoral density of immune effector cells was markedly increased after the third injection of Sm3E-mIL12, in keeping with the progressive regression of the neoplastic mass. The data suggest that a fully human analogue may be considered for the treatment of patients with mCRC.
2019
- Master ThesisEngineering Myoglobin Towards Halogenase ActivityMarius FurterETH Zurich, Mar 2019
Halogenated molecules serve as important synthetic intermediates and target compounds in medicine and agriculture. Enzymatic catalysis could allow for stereo- and regioselective installation of halogen moieties from simple halides in aqueous media. However, few readily engineerable enzymes are available for this task. Based on its structural similarity to chloroperoxidase, we envisioned the heme-enzyme myoglobin as being capable of halogenations. To achieve initial activity, a series of variants based on myoglobin H64V V68A (Mb*) were generated by combinatorial means. First, an aspartate or glutamate was installed in either position 43, 64 or 68. Second, the proximal porphyrin-binding histidine (H93) was replaced by a cysteine. Third, the iron-protoporphyrin IX cofactor was replaced by a synthesized manganese-protoporphyrin IX. The produced variants were screened for chlorination activity by monochlorodimedone (MCD) assay. Mb*A68D showed the highest initial rate of up to 30 per min, matching that of the chloroperoxidase, albeit only for up to 12 turnovers per active site. Variants bearing a cysteine as proximal ligand, and those containing the manganese porphyrin showed lower activities than less modified variants. Because of mechanistic similarity of halogenation and peroxidase reactions, both proceeding though compound I, peroxidase activity was measured by guaiacol and vanillic acid assays and compared with halogenase activity. The strong linear correlation of initial rates during MCD and vanillic acid assays establishes a link between the two reactivities that can be exploited by discovering potent halogenases among known peroxidases.