scientific article; zbMATH DE number 3512374

From MaRDI portal
Publication:4092156

zbMath0327.18006MaRDI QIDQ4092156

Ross H. Street

Publication date: 1974


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Modulated bicategories, Algebraic Kan extensions along morphisms of internal algebra classifiers, The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions, Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory, Augmented virtual double categories, Monads for which structures are adjoint to units, Yoneda structures from 2-toposes, Fibrations and Yoneda's lemma in an \(\infty\)-cosmos, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Discrete Double Fibrations, Unnamed Item, Proarrows and cofibrations, Two-dimensional monad theory, Latent Fibrations: Fibrations for Categories of Partial Maps, Unnamed Item, Unnamed Item, Unnamed Item, Fibred 2-categories and bicategories, Semi-topological functors III: Lifting of monads and adjoint functors, The Hecke bicategory, Artin glueings of toposes as adjoint split extensions, Unnamed Item, Distributive laws for relative monads, Quasivarieties and varieties of ordered algebras: regularity and exactness, An orthogonal approach to algebraic weak factorisation systems, Accessible aspects of 2-category theory, Conspectus of variable categories, Unnamed Item, Unnamed Item, Unnamed Item, Categorical notions of fibration, The comprehension construction, Group actions on 2-categories, On lifting of biadjoints and lax algebras, A general account of coinduction up-to, Unnamed Item, The identity type weak factorisation system, Contractible exact squares, Contravariance through enrichment, Categorical simulations, Unnamed Item, Operads Revisited, Unnamed Item, Fibrations of AU-contexts beget fibrations of toposes, Limits indexed by category-valued 2-functors, From coherent structures to universal properties, Fibered aspects of Yoneda's regular span, Categories enriched on two sides, On fibrations between internal groupoids and their normalizations, Internal split opfibrations and cofunctors, Discrete and conservative factorizations in \textbf{Fib}\((B)\), Yoneda structures on 2-categories, Faà di Bruno for operads and internal algebras, Structural induction and coinduction in a fibrational setting, An Australian Conspectus of Higher Categories, Representable multicategories, Multiplicative Linear Logics and Fibrations, Spreads and the symmetric topos. II, Some properties of Fib as a fibred \(2\)-category, Codescent objects and coherence, Lax factorization algebras, Order completion monads, Bifold algebras and commutants for enriched algebraic theories, On the monad of proper factorisation systems in categories