A presentation of topoi as algebraic relative to categories or graphs

DOI10.1016/0021-8693(83)90197-7zbMath0516.18009OpenAlexW2076861566MaRDI QIDQ1052452

G. M. Kelly, Eduardo J. Dubuc

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

presentationalgebraic theorygraphsenriched categorytopoifinitary monadalgebraic presentationnatural-numbers objectquasi- topoiregular epiregular monoregular subobject classifier

Mathematics Subject Classification ID

Topoi (18B25) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Graphs, diagram schemes, precategories (18A10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

An algebraic formulation for data refinement ⋮ Explicit substitutions and higher-order syntax ⋮ Monads for which structures are adjoint to units ⋮ Two-dimensional monad theory ⋮ Lax naturality through enrichment ⋮ Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ Topological categories with many symmetric monoidal closed structures ⋮ A 2-Categories Companion ⋮ Coalgebraic Monads ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Examples of non-monadic structures on categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Aspects of topoi: Corrigenda and acknowledgements

This page was built for publication: A presentation of topoi as algebraic relative to categories or graphs