Yoneda structures and KZ doctrines

DOI10.1016/J.JPAA.2017.07.004zbMATH Open1382.18001arXiv1703.08693OpenAlexW2730077362MaRDI QIDQ684097FDOQ684097

Authors: Charles Walker 

Publication date: 9 February 2018

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: In this paper we strengthen the relationship between Yoneda structures and KZ doctrines by showing that for any locally fully faithful KZ doctrine, with the notion of admissibility as defined by Bunge and Funk, all of the Yoneda structure axioms apart from the right ideal property are automatic.

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

Recommendations

• Distributive laws via admissibility
• On a bicomma object condition for KZ-doctrines
• scientific article; zbMATH DE number 1024330
• scientific article; zbMATH DE number 4002342
• scientific article; zbMATH DE number 3873563

Mathematics Subject Classification ID

Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cites Work

• Monads for which structures are adjoint to units
• Yoneda structures on 2-categories
• Yoneda structures from 2-toposes
• Doctrines on 2-categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• On a bicomma object condition for KZ-doctrines
• Kan extensions and lax idempotent pseudomonads

Cited In (8)

• Distributive laws via admissibility
• Lax familial representability and lax generic factorizations
• On a bicomma object condition for KZ-doctrines
• Accessibility and presentability in 2-categories
• Augmented virtual double categories
• Title not available (Why is that?)
• Objects, interference, and the Yoneda embedding
• Title not available (Why is that?)

This page was built for publication: Yoneda structures and KZ doctrines

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