Nous sommes des enfants, mais des enfants progressifs, pleins de force et de courage.
Tuesday, April 28, 2026
Topics in Categorical Logic
Hello, everyone! My name is Marco, and as a passionate mathematics student, I have built this blog to share some interesting ideas that come to my mind,and notes for some books I read. I'm excited to connect with others to share my love for this subject, and I hope my posts will inspire and entertain you. Thank you for visiting, and I look forward to your feedback and comments!
Subscribe to:
Post Comments (Atom)
Popular Posts
-
Preliminary: Galois connection Math Essays: Galois Connection in various branches (marco-yuze-zheng.blogspot.com) Math Essays: An example of... -
Topos Seminar What is a Topos? Motivation of Studying Topos Theory: “The Rising Sea” — Our Nonlinear Learning Strategy Seminar S...
-
Math Essays: Introduction to tensor 1: Basic property of tensor product (marco-yuze-zheng.blogspot.com) Math Essays: Introduction to tenso...
-
Galois Connection is a pretty concept in order and category theory. Consider ( A , ≤ ) , ( B , ⪯ ) ∈ O b ( P o s ) , f ∈ Hom Pos (...
-
(Decomposition Theorem). Let V be a vector space over a field K and let T be a linear operator on V . If a 1 , a 2 , . . . , a...
-
Exterior_Powers_and_Alternating_Map Abstract Exterior Powers and Alternating Map Basic properties of multiplication Determinant Inn...
-
https://marco-yuze-zheng.blogspot.com/2023/11/galois-connection-in-various-branches.html https://marco-yuze-zheng.blogspot.com/2024/07/eckma...
-
Constructions of ideal (1) Constructions of ideal (1) Lattice of ideals Product, quotient, radical Geometry of ideal (1) Geometry o...
-
Definition This blog aims to introduce the fundamental concept and property of differential rings (DR). Define the integration ∫ ( ...
-
Math Essays: Differential Ring (1): Some general result and interesting application (marco-yuze-zheng.blogspot.com) Math Essays: Different...
No comments:
Post a Comment