The following pages link to (Q4100671):
Displayed 50 items.
- Predicate transformers and higher-order programs (Q672318) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Algebraic classification of equivariant homotopy 2-types. I (Q687589) (← links)
- Kohärenz in Kategorien mit Gruppenstruktur. III (Q792440) (← links)
- A full and faithful nerve for 2-categories (Q816647) (← links)
- The combinatorics of n-categorical pasting (Q909013) (← links)
- A 2-categorical pasting theorem (Q912202) (← links)
- A presentation of topoi as algebraic relative to categories or graphs (Q1052452) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Variation through enrichment (Q1061829) (← links)
- A universal property of the convolution monoidal structure (Q1083522) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Ideals of closed categories (Q1105688) (← links)
- 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)
- Locating reaction with 2-categories (Q1770420) (← 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)