On closure operators, reflections and protolocalisations in Goursat categories Marino Gran

∗

By defining a closure operator on effective equivalence relations in a regular category C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the closure operators on kernels in homological categories [5]. When C is an exact Goursat category [6], this correspondence restricts to a bijection between the Birkhoff closure operators on effective equivalence relations and the Birkhoff subcategories of C [2]. In this case it is possible to provide an explicit description of the closure, and this formula is used to describe the closure determined by the reflection of the category T(HComp) of compact Hausdorff Mal’cev algebras into its subcategory T(Profin) of profinite Mal’cev algebras. By using a result of Bourn [4], it is also possible to characterise the congruence distributive Goursat categories in terms of a property of the closure operator associated with any Birkhoff subcategory. In the second part of the talk we shall restrict our attention to the so-called “protolocalisations” [1]. In particular, we shall present a new characterisation of epireflective protolocalisations of an exact Mal’cev category, and give some examples [3]. References [1] F. Borceux, M.M. Clementino, M. Gran and L. Sousa, Protolocalisations of homological categories, accepted for publication in J. Pure Appl. Algebra. [2] F. Borceux, M. Gran and S. Mantovani, On closure operators and reflections in Goursat categories, accepted for publication in Rend. Istit. Mat. Univ. Trieste. [3] F. Borceux, M. Gran and S. Mantovani, Protolocalisations of exact Mal’cev categories, Preprint (2007). [4] D. Bourn, Congruence distributivity in Goursat and Mal’cev categories, Appl. Categ. Structures 13 (2005) 101-111. [5] D. Bourn and M. Gran, Torsion theories in homological categories, J. Algebra 305 (2006) 18-47. [6] A. Carboni, G.M. Kelly and M.C. Pedicchio, Some remarks on Maltsev and Goursat categories, Appl. Categ. Struct. 1 (1993) 385-421. ∗

Joint work with Francis Borceux and Sandra Mantovani.

1

On closure operators, reflections and ... - Semantic Scholar

By defining a closure operator on effective equivalence relations in a regular cat- egory C, it is possible to establish a bijective correspondence between these closure operators and the regular epireflective subcategories of C, on the model of the clo- sure operators on kernels in homological categories [5]. When C is an ...
Download PDF
39KB Sizes 0 Downloads 351 Views
Report

Recommend Documents

On closure operators, reflections and protolocalisations in Goursat ...
By defining a closure operator on effective equivalence relations in a regular cat- egory C, it is possible to establish a bijective correspondence between these ...
On Knowledge - Semantic Scholar
Rhizomatic Education: Community as Curriculum by Dave Cormier. The truths .... Couros's graduate-level course in educational technology offered at the University of Regina provides an .... Techknowledge: Literate practice and digital worlds.
On Knowledge - Semantic Scholar
Rhizomatic Education: Community as Curriculum .... articles (Nichol 2007). ... Couros's graduate-level course in educational technology offered at the University ...
Combining MapReduce and Virtualization on ... - Semantic Scholar
Feb 4, 2009 - Keywords-Cloud computing; virtualization; mapreduce; bioinformatics. .... National Center for Biotechnology Information. The parallelization ...
Online Video Recommendation Based on ... - Semantic Scholar
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, P. R. ... precedented level, video recommendation has become a very.
On Deconstructing Ensemble Models - Semantic Scholar
Oct 1, 2015 - metrics. Our response measures a shift in user behavior observable only after a longer ..... Center G : G0 ≡ G − 1 ¯gT , where ¯g(m) = ave G(-, m). .... importance, we call the calculations based on ∆R2(j) an analysis of trees.
Article On Being Systematically Connectionist - Semantic Scholar
Address for correspondence: Lars F. Niklasson, Department of Computer Science, University of. Skövde, S-54128, SWEDEN. Email: [email protected]. Tim van Gelder, Philosophy Program,. Research School of Social Sciences, Australian National University, C
On Decomposability of Multilinear Sets - Semantic Scholar
May 28, 2016 - Examples include quadratic programs, polynomial programs, and multiplicative ... †Graduate Program in Operations Research and Industrial ...
Language Recognition Based on Score ... - Semantic Scholar
1School of Electrical and Computer Engineering. Georgia Institute of ... over all competing classes, and have been demonstrated to be effective in isolated word ...
Language Recognition Based on Score ... - Semantic Scholar
1School of Electrical and Computer Engineering. Georgia Institute ... NIST (National Institute of Standards and Technology) has ..... the best procedure to follow.
International Evidence on Sticky Consumption ... - Semantic Scholar
Oct 21, 2009 - We compare the random walk model of. 1Facts that have been ..... one-time events like the hosting of the Olympics). Standard theoretical ...
Notes on Scalable Blockchain Protocols - Semantic Scholar
availability; it is entirely possible for a block to appear that looks valid, and .... the basic principle. Definition 2.4 (Block). A block β is a package containing a list of trans- actions T, a reference to a parent block (in more exotic protocols
on the difficulty of computations - Semantic Scholar
any calculation that a modern electronic digital computer or a human computer can ... programs and data are represented in the machine's circuits in binary form. Thus, we .... ory concerning the efficient transmission of information. An informa-.
Science Perspectives on Psychological - Semantic Scholar
authors have replied to our e-mail and publicly disclosed the requested ..... act of actually disclosing the information carries much ..... Marketing Science, 32, 1–3.
Dependence of electronic polarization on ... - Semantic Scholar
Dec 4, 2009 - rable with ours, as they also included Tb f electrons, with. UTb=6 eV on ... plane wave plus local-orbital method.22 In the b-c spiral case, as we ...
International Evidence on Sticky Consumption ... - Semantic Scholar
Oct 21, 2009 - where ϵt mainly reflects innovations to lifetime resources.6. Hence, in .... The alternative justification for including a is as a proxy for expected interest rates Rt+1;. 5 ... States in Q1:2006—through lower outlays on energy.
On Deconstructing Ensemble Models - Semantic Scholar
Oct 1, 2015 - Figure 1: The data structure used for fitting a metamodel. ... definition of the three-component metamodel problem. ..... Data Mining, ACM.
On Packet Size and Error Correction Optimisations ... - Semantic Scholar
Recent sensor network platforms with greater computa- ... platforms [2], [3]. These resource-rich platforms have increased processing capabilities which make erasure code handling viable and efficient [3]. Moreover, improved radio designs [4] facilit
On the Nature and Scope of Featural ... - Semantic Scholar
the nature of featural representations, focusing on the way in. Ken McRae, Department of Psychology, University of Western. Ontario, London, Ontario, Canada; Virginia R. de Sa, Department of Computer Science, University of Rochester; Mark S. Seiden-
On Packet Size and Error Correction Optimisations ... - Semantic Scholar
it only accounts for interference and does not consider packet transmissions. Because CQ relies on the receiver ... latency of packets, which accounts for packet transmission time plus the inter-packet interval (IPI). Definition 1. ..... sage out of
On Designing and Evaluating Speech Event ... - Semantic Scholar
can then be combined to detect phones, words and sentences, and perform speech recognition in a probabilistic manner. In this study, a speech event is defined ...
On the Nature and Scope of Featural ... - Semantic Scholar
Behavioral experiments and a connectionist model were used to explore the use of featural representations in the computation of word meaning. The research focused on the role of correlations among features, and differences between speeded and untimed
Discovering Co-Relations on Research Topics and ... - Semantic Scholar
research literature and DBLP and CiteSeer to computer science bibliography. .... Table 1. Number of articles in the datasets for the different years. KW stands for ...
On the Technology Prospects and Investment ... - Semantic Scholar
Dongjin Seo, Fritz Sommer and Larry Swanson for timely insights that served to adjust our per- pectives and shape this report. A Leveraging Sequencing for ...