Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Hugo Luiz Mariano
Follow
Activity
Upvotes
Folders
Articles
42
Expanding Čech cohomology for quantales
15 September 2024 by
Ana Luiza Tenório
and
others
Category Theory
,
Rings and Algebras
Gelfand-Kirillov conjecture as a first-order formula
23 May 2024 by
Hugo Luiz Mariano
and
João Schwarz
Rings and Algebras
,
Logic
Grothendieck prelopologies: towards a closed monoidal sheaf category
18 April 2024 by
Ana Luiza Tenório
and
Hugo Luiz Mariano
Category Theory
Classification of Boolean Algebras through von Neumann regular
\mathcal{C}^{\infty}-
Rings
12 April 2024 by
Jean Cerqueira Berni
and
Hugo Luiz Mariano
Rings and Algebras
,
Category Theory
The general Arason-Pfister Hauptsatz
11 April 2024 by
Kaique Matias De Andrade Roberto
and
others
Commutative Algebra
,
Algebraic Geometry
The Galois group of a Special Group
4 April 2024 by
Kaique Matias De Andrade Roberto
and
Hugo Luiz Mariano
Commutative Algebra
,
K-Theory and Homology
K-theories and Free Inductive Graded Rings in Abstract Quadratic Forms Theories
4 April 2024 by
Kaique Matias De Andrade Roberto
and
Hugo Luiz Mariano
K-Theory and Homology
,
Commutative Algebra
On sheaves on semicartesian quantales and their truth values
14 October 2023 by
Ana Luiza Tenório
and
others
Category Theory
,
Rings and Algebras
Inductive graded rings, hyperfields and quadratic forms
4 July 2023 by
Kaique Matias De Andrade Roberto
and
Hugo Luiz Mariano
K-Theory and Homology
,
Commutative Algebra
On homotopical and cohomological interpretations of Logic
26 April 2023 by
Thiago Alexandre
and
others
Logic
Linear Systems, Matrices and Vector Spaces over Superfields
25 March 2023 by
Kaique Matias De Andrade Roberto
and
others
Commutative Algebra
\mathscr Q
-Sets and Friends: Regarding Singleton and Gluing Completeness
6 February 2023 by
José Goudet Alvim
and
others
Category Theory
\mathscr Q
-Sets and Friends: Categorical Constructions and Categorical Properties
6 February 2023 by
José Goudet Alvim
and
others
Category Theory
On algebraic extensions and algebraic closures of superfields
17 January 2023 by
Kaique Matias De Andrade Roberto
and
others
Commutative Algebra
On superrings of polynomials and algebraically closed multifields
23 November 2021 by
Kaique Matias De Andrade Roberto
and
Hugo Luiz Mariano
Logic
,
Commutative Algebra
Separation Theorems in Smooth Commutative Algebra and Applications
25 October 2021 by
Jean Cerqueira Berni
and
Hugo Luiz Mariano
Commutative Algebra
Filter pairs and natural extensions of logics
21 October 2021 by
Peter Arndt
and
others
Logic
,
Category Theory
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
2 September 2021 by
Peter Arndt
and
others
Logic
von Neumann regular Hyperrings and applications to Real Reduced Multirings
16 January 2021 by
Hugo Rafael De Oliveira Ribeiro
and
Hugo Luiz Mariano
Commutative Algebra
,
Rings and Algebras
Connecting abstract logics and adjunctions in the theory of (
π
-)institutions: some theoretical remarks and applications
30 December 2020 by
Gabriel Bittencourt Rios
and
others
Logic
,
Category Theory
On sheaf cohomology and natural expansions
15 September 2020 by
Ana Luiza Tenório
and
Hugo Luiz Mariano
Category Theory
Topics on Smooth Commutative Algebra
10 August 2020 by
Jean Cerqueira Berni
and
Hugo Luiz Mariano
Commutative Algebra
Functorial relationship between multirings and the various abstract theories of quadratic forms
17 April 2020 by
Hugo Rafael Ribeiro
and
others
Commutative Algebra
,
Rings and Algebras
On the order theory for
\mathcal{C}^\infty
-reduced
\mathcal{C}^\infty
-Rings and applications
1 February 2020 by
Jean Cerqueira Berni
and
others
Commutative Algebra
,
Logic
Formalizing the Curry-Howard Correspondence
23 December 2019 by
Juan Ferrer Meleiro
and
Hugo Luiz Mariano
Logic
,
Logic in Computer Science
Induced morphisms between Heyting-valued models
3 December 2019 by
José Goudet Alvim
and
others
Category Theory
An algebraic (set) theory of surreal numbers, I
28 November 2019 by
Dimi Rocha Rangel
and
Hugo Luiz Mariano
Category Theory
On categories of o-minimal structures
12 October 2019 by
Rodrigo Figueiredo
and
Hugo Luiz Mariano
Logic
Non Reduced Theory of Quadratic Forms Over Rings
3 June 2019 by
Kaique Matias De Andrade Roberto
and
Hugo Luiz Mariano
Rings and Algebras
Von Neumann Regular
\mathcal{C}^{\infty}-
Rings and Applications
23 May 2019 by
Jean Cerqueira Berni
and
Hugo Luiz Mariano
Category Theory
Load more
This is an AI-generated summary
Key points
Topics
Category Theory
Logic
Commutative Algebra
Rings and Algebras
K-Theory and Homology
Logic in Computer Science
Algebraic Geometry
Number Theory
