A presentation of topoi as algebraic relative to categories or graphs
From MaRDI portal
Publication:1052452
presentationgraphstopoienriched categoryalgebraic theoryfinitary monadalgebraic presentationnatural-numbers objectquasi- topoiregular epiregular monoregular subobject classifier
Topoi (18B25) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Graphs, diagram schemes, precategories (18A10)
Cites work
- scientific article; zbMATH DE number 3783237 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 3621971 (Why is no real title available?)
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Aspects of topoi: Corrigenda and acknowledgements
- Examples of non-monadic structures on categories
Cited in
(11)- Two-dimensional monad theory
- An algebraic formulation for data refinement
- A 2-categories companion
- Topological categories with many symmetric monoidal closed structures
- Algebras, coalgebras, monads and comonads
- Lax naturality through enrichment
- Coalgebraic monads
- Explicit substitutions and higher-order syntax
- scientific article; zbMATH DE number 1080905 (Why is no real title available?)
- Monads for which structures are adjoint to units
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
This page was built for publication: A presentation of topoi as algebraic relative to categories or graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1052452)
