scientific article; zbMATH DE number 3305157
From MaRDI portal
Publication:5586462
zbMath0192.10701MaRDI QIDQ5586462
Publication date: 1966
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Monoidal Grothendieck construction, Term graph rewriting and garbage collection using opfibrations, Facets of descent. I, First quadrant spectral sequences in algebraic k-theory via homotopy colimits, Weak fibrations, Hierarchical evolutive systems: A mathematical model for complex systems, Unnamed Item, Functorial theory of parameterized specifications in a general specification framework, On completeness and cocompleteness in and around small categories, The genuine operadic nerve, Algebraic $K$-theory and etale cohomology, Monads for which structures are adjoint to units, Yoneda structures from 2-toposes, Proarrows and cofibrations, Diagram cohomologies using categorical fibrations, Unnamed Item, Algebraic weak factorisation systems. I: Accessible AWFS., Thomason cohomology of categories, Fibred 2-categories and bicategories, May I borrow your logic? (Transporting logical structures along maps), Simplicial descent for Chekanov–Eliashberg dg‐algebras, Labelled cospan categories and properads, Unnamed Item, André spectral sequences for Baues-Wirsching cohomology of categories, Unnamed Item, On effective descent \(\mathcal{V}\)-functors and familial descent morphisms, CHAD for expressive total languages, Bicategorical type theory: semantics and syntax, Yoneda lemma for simplicial spaces, Lusternik-Schnirelmann category for categories and classifying spaces, On a cotriple homology in a fibred category, A Reidemeister trace for fibred maps, Categorical notions of fibration, Pullback preserving functors, Braided regular crossed modules bifibered over regular groupoids, Some fundamental algebraic tools for the semantics of computation. III: Indexed categories, Bicategories of processes, Birkhoff-Frink representations as functors, Unnamed Item, Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Contractible exact squares, Comprehension categories and the semantics of type dependency, Topological functors and factorizations, \(\mathbb{V}\)-Cofibrationen und \(\mathbb{V}\)-Kan-Erweiterungen, Coalgebras in reflective and coreflective subcategories, Fibered aspects of Yoneda's regular span, Unnamed Item, Unnamed Item, On fibrations between internal groupoids and their normalizations, Internal split opfibrations and cofunctors, Discrete and conservative factorizations in \textbf{Fib}\((B)\), Semi-topological functors. I, A characterization of initial functors, Unnamed Item, Satelliten; singuläre Erweiterungen und Derivationen, Fibrations of groupoids, On filtered systems of groups, colimits, and Kan extensions, An Australian Conspectus of Higher Categories, Unnamed Item, Unnamed Item, On the category of direct systems and functors on groups, On the categories of general topology and topological algebra, Paths and Simulations, Some properties of Fib as a fibred \(2\)-category, Partially monadic functors, Une description axiomatique des categories de faisceaux de structures algébriques sur les espaces topologiques booleens, Cofibrations in the bicategory of topoi, Cofibrantly generated lax orthogonal factorisation systems, Topological categories, Cofibrations. II: Left exact right actions and compositions of gamuts, The bilinear product category, Unnamed Item, Unnamed Item
