A presentation of topoi as algebraic relative to categories or graphs

DOI10.1016/0021-8693(83)90197-7zbMATH Open0516.18009OpenAlexW2076861566MaRDI QIDQ1052452FDOQ1052452

Authors: Eduardo J. Dubuc, Max Kelly 

Publication date: 1983

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(83)90197-7

zbMATH Keywords

presentationgraphstopoienriched categoryalgebraic theoryfinitary monadalgebraic presentationnatural-numbers objectquasi- topoiregular epiregular monoregular subobject classifier

Mathematics Subject Classification ID

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

• Title not available (Why is that?)
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Title not available (Why is that?)
• Title not available (Why is that?)
• Aspects of topoi: Corrigenda and acknowledgements
• Examples of non-monadic structures on categories

Cited In (11)

• Explicit substitutions and higher-order syntax
• A 2-categories companion
• Two-dimensional monad theory
• Title not available (Why is that?)
• Monads for which structures are adjoint to units
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Algebras, coalgebras, monads and comonads
• Lax naturality through enrichment
• Topological categories with many symmetric monoidal closed structures
• An algebraic formulation for data refinement
• Coalgebraic 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)