The following pages link to (Q4652984):
Displaying 35 items.
- The glueing construction and double categories (Q456855) (← links)
- Intercategories: a framework for three-dimensional category theory (Q502617) (← links)
- Monads in double categories (Q531324) (← links)
- Normalized bicategories internal to groups and more general Mal'tsev categories (Q1686703) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- A categorical approach to the maximum theorem (Q1743001) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- Wobbly double functors (Q2017478) (← links)
- The Gray monoidal product of double categories (Q2182787) (← links)
- Morphisms of colimits: from paths to profunctors (Q2254597) (← links)
- On the notion of pseudocategory internal to a category with a 2-cell structure (Q2340099) (← links)
- (Q2884466) (← links)
- Algebraic Databases (Q2981748) (← links)
- (Q3305545) (← links)
- (Q3423074) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- The formal theory of multimonoidal monads (Q4631636) (← links)
- Coarse-Graining Open Markov Processes (Q4646813) (← links)
- Discrete Double Fibrations (Q4994673) (← links)
- (Q5004672) (← links)
- (Q5048019) (← links)
- Structured Cospans (Q5137917) (← links)
- Open Petri nets (Q5139283) (← links)
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions (Q5215079) (← links)
- Augmented virtual double categories (Q5220053) (← links)
- (Q5382449) (← links)
- (Q5437176) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- (Q6125951) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)
- (Q6201706) (← links)
- Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (Q6544451) (← links)
- Lifting twisted coreflections against delta lenses (Q6589557) (← links)
- Stone duality for relations (Q6612781) (← links)