The comprehensive factorization of Burroni's T-functors

zbMATH Open1474.18006arXiv2012.08043MaRDI QIDQ5004667FDOQ5004667

L. Yeganeh, Walter Tholen

Publication date: 3 August 2021

Abstract: Expanding on the comprehensive factorization of functors internal to a category C, under fairly mild conditions on a monad T on C we establish that this orthogonal factorization system exists even in Burroni's category Cat(T) of (internal) T-categories and their functors. This context provides for some expected applications and some unexpected connections. For example, it lets us deduce that the comprehensive factorization is also available for functors of Lambek's multicategories. In topology, it leads to the insight that the role of discrete cofibrations is played by perfect maps, with the comprehensive factorization of a continuous map given by its fibrewise compactification.

Full work available at URL: https://arxiv.org/abs/2012.08043

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

multicategorycomprehensive factorizationperfect mapt-graphdiscrete cofibrationsmall-topological functort-categoryt-functorwide pullback

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Fibered categories (18D30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories of continuous functors. I
• The comprehensive factorization of a functor
• Metric spaces, generalized logic, and closed categories
• Representable multicategories
• Metric, topology and multicategory -- a common approach
• Relational algebras
• Some properties of compactifications
• Distributive laws and factorization
• A categorical guide to separation, compactness and perfectness
• Topological features of Lax algebras
• Monoidal topology. A categorical approach to order, metric, and topology
• A topologist's view of Chu spaces
• A unified framework for generalized multicategories
• From coherent structures to universal properties
• Semi-topological functors. I
• Diagonalisierungspaare. I
• Comprehensive factorisation systems
• Compactification of mappings

Cited In (3)

• The Tannaka representation theorem for separable Frobenius functors
• Title not available (Why is that?)
• Kleisli categories, \(T\)-categories and internal categories

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Factorization systems as Eilenberg-Moore algebras 👍 👎
• Factorization systems and fibrations: toward a fibred Birkhoff variety theorem 👍 👎
• Lax factorization algebras 👍 👎
• Adjointness in descent theory 👍 👎
• Comprehensive factorisation systems 👍 👎
• The Isbell monad 👍 👎
• Cartesian closed exact completions 👍 👎
• Variation on a comprehensive theme 👍 👎

This page was built for publication: The comprehensive factorization of Burroni's T-functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5004667)