scientific article; zbMATH DE number 3512374
From MaRDI portal
Publication:4092156
zbMath0327.18006MaRDI QIDQ4092156
Publication date: 1974
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (64)
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
This page was built for publication:
