activity
20172024
most citedMonoidal Grothendieck construction

22 citations · 39 across the 9 of their papers we have counts for

collaborators

9 papers

math.CT2024

2-Rig Extensions and the Splitting Principle

John C. Baez, Joe Moeller, Todd Trimble

Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on -theory. H…

math.RT2022

Extensions of representation stable categories

Joe Moeller

A category of FI type is one which is sufficiently similar to finite sets and injections so as to admit nice representation stability results. Several common examples admit a Groth…

math-ph2021★ 2 cited

Compositional Thermostatics

John C. Baez, Owen Lynch, Joe Moeller

We define a thermostatic system to be a convex space of states together with a concave function sending each state to its entropy, which is an extended real number. This definition…

math.RT2021★ 2 cited

Schur Functors and Categorified Plethysm

John C. Baez, Joe Moeller, Todd Trimble

It is known that the Grothendieck group of the category of Schur functors is the ring of symmetric functions. This ring has a rich structure, much of which is encapsulated in the f…

math.CT2021

The Grothendieck Construction in Categorical Network Theory

Joe Moeller

In this thesis, we present a flexible framework for specifying and constructing operads which are suited to reasoning about network construction. The data used to present these ope…

math.CT2019★ 6 cited

Network Models from Petri Nets with Catalysts

John C. Baez, John Foley, Joe Moeller

Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catal…

math.CT2018★ 22 cited

Monoidal Grothendieck construction

Joe Moeller, Christina Vasilakopoulou

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseud…

math.CT2018★ 5 cited

Noncommutative Network Models

Joe Moeller

Network models, which abstractly are given by lax symmetric monoidal functors, are used to construct operads for modeling and designing complex networks. Many common types of netwo…

math.CT2017★ 2 cited

Network Models

John C. Baez, John Foley, Joe Moeller +1

Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining netw…