The following pages link to (Q3934579):
Displayed 50 items.
- Supergeometry in locally covariant quantum field theory (Q261603) (← links)
- A categorical theory of patches (Q265821) (← links)
- Invariants of a free linear category and representation type (Q272994) (← links)
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories (Q276411) (← links)
- An introduction to quantaloid-enriched categories (Q277336) (← links)
- Sheaves on involutive quantales: Grothendieck quantales. (Q277338) (← links)
- Fuzzy terms (Q277347) (← links)
- Quantale-valued preorders: globalization and cocompleteness. (Q277350) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- Relation lifting, a survey (Q299182) (← links)
- On the tensor product of modules over skew monoidal categories (Q308158) (← links)
- Lax orthogonal factorisation systems (Q317326) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- The \(K\)-theory of assemblers (Q329526) (← links)
- The fundamental pro-groupoid of an affine 2-scheme (Q385598) (← links)
- Monoidal computer. I: Basic computability by string diagrams (Q385721) (← links)
- Path space connections and categorical geometry (Q391163) (← links)
- Recognizing mapping spaces (Q392395) (← links)
- Orlov spectra as a filtered cohomology theory (Q392963) (← links)
- The Hecke bicategory (Q398537) (← links)
- Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
- Tensor products of finitely cocomplete and abelian categories (Q405919) (← links)
- Factorizable enriched categories and applications (Q411784) (← links)
- The order-theoretic duality and relations between partial metrics and local equalities (Q419040) (← links)
- Bifibrations and weak factorisation systems (Q421477) (← links)
- Preordered sets valued in a GL-monoid (Q427913) (← links)
- Localization theorems in topological Hochschild homology and topological cyclic homology (Q441110) (← links)
- Lex colimits (Q456823) (← links)
- Kleisli enriched (Q456865) (← links)
- Calculus of functors and model categories. II (Q470704) (← links)
- Hermitian \(K\)-theory, derived equivalences and Karoubi's fundamental theorem (Q515890) (← links)
- Frobenius and the derived centers of algebraic theories (Q522040) (← links)
- Barr's embedding theorem for enriched categories (Q538061) (← links)
- Homotopy theory of nonsymmetric operads (Q541299) (← links)
- Torsors, herds and flocks (Q555575) (← links)
- Homotopical algebraic geometry. I: Topos theory (Q555892) (← links)
- A categorification of quantum \(\mathfrak{sl}(2)\) (Q607348) (← links)
- Injective spaces via adjunction (Q615891) (← links)
- Algebras of higher operads as enriched categories (Q633792) (← links)
- Generalising Conduché's theorem (Q633801) (← links)
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Notions of Lawvere theory (Q633806) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- A model structure for coloured operads in symmetric spectra (Q663261) (← links)
- Elements of generalized ultrametric domain theory (Q672055) (← links)
- On monoids in the category of sets and relations (Q682629) (← links)
- Tail recursion through universal invariants (Q685396) (← links)