The following pages link to (Q4100671):
Displayed 50 items.
- The algebra of oriented simplexes (Q1112955) (← links)
- A general coherence result (Q1118027) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Local adjunctions (Q1120666) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Semi-topological functors III: Lifting of monads and adjoint functors (Q1137109) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
- Closed categories, lax limits and homotopy limits (Q1153377) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- The geometry of tensor calculus. I (Q1175729) (← links)
- A characterization of \(G\)-categories \(G\)-equivalent to the \(G\)-category of graded modules over a generalized \(G\)-graded algebra (Q1178902) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- Soft adjunction between 2-categories (Q1262383) (← links)
- On the equivariant \(2\)-type of a \(G\)-space (Q1295561) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Structures and diagrammatics of four dimensional topological lattice field theories (Q1306826) (← links)
- Tortile tensor categories (Q1321051) (← links)
- Modulated bicategories (Q1331914) (← links)
- 2-categories and 2-knots (Q1341277) (← links)
- Monoidal bicategories and Hopf algebroids (Q1362171) (← links)
- Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras (Q1367502) (← links)
- Modular functors in homotopy quantum field theory and tortile structures. (Q1414052) (← links)
- A representation result for free cocompletions (Q1584038) (← links)
- Categories of representations of coalgebroids (Q1588380) (← links)
- A simple characterization of theories of varieties (Q1593791) (← links)
- Combining a monad and a comonad (Q1603819) (← links)
- Beck's theorem for pseudo-monads (Q1612173) (← links)
- Commutativity in double interchange semigroups (Q1633195) (← links)
- Sigma limits in 2-categories and flat pseudofunctors (Q1649333) (← links)
- Hopf monoids in varieties (Q1652849) (← links)
- \(K\)-theory for 2-categories (Q1678146) (← links)
- Strongly fibered objects and spaces (Q1688202) (← links)
- Levelwise modules over separable monads on stable derivators (Q1703587) (← links)
- The cut operation on matrix factorisations (Q1703603) (← links)
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories (Q1730855) (← links)
- Group actions on 2-categories (Q1740376) (← links)
- A general limit lifting theorem for 2-dimensional monad theory (Q1743022) (← links)
- Group actions on categories and Elagin's theorem revisited (Q1746644) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Gauge transformations for categorical bundles (Q1788813) (← links)
- Steps and traces (Q1798791) (← links)
- An axiomatics for bicategories of modules (Q1820858) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Codescent objects and coherence (Q1850103) (← links)
- The formal theory of monads. II (Q1850104) (← links)
- Distributive laws and factorization (Q1850107) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)