Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the - Strong monad - Document - PDFSEARCH.IO

First Page	Meta Content
	Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the Add to Reading List Document Date: 2013-09-22 12:28:00 Open Document File Size: 475,20 KB Share Result on Facebook Company Monadic Equational Systems / T Ae / IdC / / Facility P. Hall / / IndustryTerm by-product / sound and complete deduction systems / / Person Chung-Kil Hur / MARCELO FIORE / / Position model theory / / Product Equational Metalogic / / SocialTag Adjoint functors Monoidal categories Algebraic structures Sheaf theory Monad Universal property Variety Strong monad Functor Abstract algebra

Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From theAdd to Reading List