The history of the General Adjoint Functor Theorem
Fuente:
arXiv
Saved in:
| Main Author: | Porst, Hans-E. |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Finitary Adjoint Functor Theorem
by: Adámek, Jirí, et al.
Published: (2023)
by: Adámek, Jirí, et al.
Published: (2023)
Functors induced by comma categories
by: Das, Suddhasattwa
Published: (2024)
by: Das, Suddhasattwa
Published: (2024)
The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025)
by: Desrochers, Samuel
Published: (2025)
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025)
by: Hughes, Calum
Published: (2025)
Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)
by: Fiore, Marcelo, et al.
Published: (2024)
Functors Preserving Effective Descent Morphisms
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)
How to Represent Non-Representable Functors
by: Perrone, Paolo
Published: (2024)
by: Perrone, Paolo
Published: (2024)
Adjoint functor theorems for lax-idempotent pseudomonads
by: Arkor, Nathanael, et al.
Published: (2023)
by: Arkor, Nathanael, et al.
Published: (2023)
Algebraic Type Theory, Part 1: Martin-Löf algebras
by: Awodey, Steve
Published: (2025)
by: Awodey, Steve
Published: (2025)
Pretorsion theories in prenormal categories
by: Mantovani, Sandra, et al.
Published: (2025)
by: Mantovani, Sandra, et al.
Published: (2025)
Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)
by: Berg, Benno van den, et al.
Published: (2023)
Magmal characterisations of cocartesian categories
by: Arkor, Nathanael
Published: (2025)
by: Arkor, Nathanael
Published: (2025)
Optimisation Abstraite
by: Kadhi, Fethi
Published: (2024)
by: Kadhi, Fethi
Published: (2024)
V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
by: Lucyshyn-Wright, Rory B. B.
Published: (2025)
by: Lucyshyn-Wright, Rory B. B.
Published: (2025)
Evolution systems: A framework for studying generic mathematical structures
by: Kubiś, Wiesław, et al.
Published: (2021)
by: Kubiś, Wiesław, et al.
Published: (2021)
Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)
by: Di Liberti, Ivan, et al.
Published: (2026)
The elementary theory of the 2-category of small categories
by: Hughes, Calum, et al.
Published: (2024)
by: Hughes, Calum, et al.
Published: (2024)
Galois Connections and Preradicals in Abelian Categories
by: Fernández-Alonso, Rogelio, et al.
Published: (2025)
by: Fernández-Alonso, Rogelio, et al.
Published: (2025)
Bi-directional models of `radically synthetic' differential geometry
by: Menni, Matías
Published: (2024)
by: Menni, Matías
Published: (2024)
Bicategories of Lax Fractions
by: Manuell, Graham, et al.
Published: (2025)
by: Manuell, Graham, et al.
Published: (2025)
Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions
by: Shen, Lili, et al.
Published: (2021)
by: Shen, Lili, et al.
Published: (2021)
Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)
by: Rasekh, Nima
Published: (2025)
Injectivity paucity in AB5 categories of oversize chains
by: Chirvasitu, Alexandru
Published: (2026)
by: Chirvasitu, Alexandru
Published: (2026)
Type Theory for the Working Mathematical Music Theorist
by: Flieder, Drew
Published: (2025)
by: Flieder, Drew
Published: (2025)
The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
by: van Woerkom, Wijnand, et al.
Published: (2024)
by: van Woerkom, Wijnand, et al.
Published: (2024)
Zigzags and free adjunctions
by: Riva, Lorenzo, et al.
Published: (2025)
by: Riva, Lorenzo, et al.
Published: (2025)
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
by: Clementino, Maria Manuel, et al.
Published: (2024)
by: Clementino, Maria Manuel, et al.
Published: (2024)
Homotopy Cardinality and Entropy
by: Ortiz-Muñoz, Andrés
Published: (2025)
by: Ortiz-Muñoz, Andrés
Published: (2025)
Homotopy reflectivity is equivalent to the weak Vopěnka principle
by: Casacuberta, Carles, et al.
Published: (2024)
by: Casacuberta, Carles, et al.
Published: (2024)
Colimits in 2-dimensional slices
by: Mesiti, Luca
Published: (2023)
by: Mesiti, Luca
Published: (2023)
Kan extensions are partial colimits
by: Perrone, Paolo, et al.
Published: (2021)
by: Perrone, Paolo, et al.
Published: (2021)
On Naturally and Weakly Mal'tsev Categories
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
Lifting twisted coreflections against delta lenses
by: Clarke, Bryce
Published: (2024)
by: Clarke, Bryce
Published: (2024)
The Lawvere condition
by: Martins-Ferreira, Nelson
Published: (2025)
by: Martins-Ferreira, Nelson
Published: (2025)
Pointwise Kan extensions along 2-fibrations and the 2-category of elements
by: Mesiti, Luca
Published: (2023)
by: Mesiti, Luca
Published: (2023)
Homological Lemmas in a Non-pointed Context
by: Cappelletti, Andrea, et al.
Published: (2024)
by: Cappelletti, Andrea, et al.
Published: (2024)
Coproducts Internal to Profinite Spaces
by: Tang, Jiacheng
Published: (2025)
by: Tang, Jiacheng
Published: (2025)
Formalizing colimits in Cat
by: Carneiro, Mario, et al.
Published: (2025)
by: Carneiro, Mario, et al.
Published: (2025)
Grothendieck prelopologies: towards a closed monoidal sheaf category
by: Tenório, Ana Luiza, et al.
Published: (2024)
by: Tenório, Ana Luiza, et al.
Published: (2024)
Similar Items
-
A Finitary Adjoint Functor Theorem
by: Adámek, Jirí, et al.
Published: (2023) -
Functors induced by comma categories
by: Das, Suddhasattwa
Published: (2024) -
The List Object Endofunctor is Polynomial
by: Desrochers, Samuel
Published: (2025) -
The algebraic internal groupoid model of Martin-Löf type theory
by: Hughes, Calum
Published: (2025) -
Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)