Topics:
- classifying (∞,1)-topos for nontrivial distributive lattices (1 message, latest: Nov 04 2024 at 04:47)
- On Categorical Logic (262 messages, latest: Nov 04 2024 at 04:34)
- Hints for Leinster's "Basic Category Theory" exercises (232 messages, latest: Nov 02 2024 at 02:37)
- Deepening Understanding of Fiber Bundles (603 messages, latest: Nov 01 2024 at 23:22)
- Did Category Theory catch up? (35 messages, latest: Nov 01 2024 at 10:32)
- 3-element commutative monoids (40 messages, latest: Nov 01 2024 at 04:15)
- Locally finite elementary topos (10 messages, latest: Oct 31 2024 at 06:01)
- Quantization of symplectic stacks (24 messages, latest: Oct 30 2024 at 23:53)
- "Pure"/"Faithfully Flat" symmetric monoidal (oo-) functors? (5 messages, latest: Oct 30 2024 at 14:35)
- About Natural Isomorphisms (16 messages, latest: Oct 28 2024 at 15:10)
- Definition of Weakly Locally Cartesian Closed (1 message, latest: Oct 25 2024 at 17:25)
- A tensor product of categories? (19 messages, latest: Oct 24 2024 at 21:49)
- motivating "sites" (142 messages, latest: Oct 24 2024 at 19:56)
- Monads and double categories (8 messages, latest: Oct 24 2024 at 18:07)
- "Swapping" Morphisms and Objects (17 messages, latest: Oct 24 2024 at 17:05)
- (co)limits of right adjoints (1 message, latest: Oct 24 2024 at 05:05)
- Universal Mapping properties and Reynold's parametricity (1 message, latest: Oct 22 2024 at 22:02)
- Resolving Equivalence and strictness (38 messages, latest: Oct 22 2024 at 19:57)
- Question about reflector (62 messages, latest: Oct 22 2024 at 16:55)
- Dependent Type Theory vs Polymorphic Type Theory (20 messages, latest: Oct 21 2024 at 15:15)
- Monadic descent when fibers are posets (1 message, latest: Oct 18 2024 at 07:56)
- On the models of the product of two algebraic theories (25 messages, latest: Oct 16 2024 at 17:13)
- When can a comprehension be expressed as a function? (5 messages, latest: Oct 16 2024 at 16:48)
- End/coend formulas for Kan lifts (19 messages, latest: Oct 15 2024 at 13:50)
- Confused with Riehl's Decategorification example (79 messages, latest: Oct 10 2024 at 20:11)
- Source and target of 0-morphisms (8 messages, latest: Oct 10 2024 at 17:39)
- Foundations (75 messages, latest: Oct 10 2024 at 15:25)
- Subobject classifier in ∞Grpd (20 messages, latest: Oct 09 2024 at 17:01)
- Ran along a final functor (26 messages, latest: Oct 08 2024 at 20:22)
- Pullbacks and coequalizers (4 messages, latest: Oct 08 2024 at 03:19)
- natural transformations between equivalences (6 messages, latest: Oct 06 2024 at 14:16)
- Topos where the Dedekind reals are uniquely Cauchy complete (5 messages, latest: Oct 04 2024 at 21:11)
- Bundles with fibre F are classified by BDiff(F)? (25 messages, latest: Oct 04 2024 at 20:26)
- Coproducts of monoids (37 messages, latest: Oct 03 2024 at 19:20)
- Using monoidal coherence effectively for enriched cats (4 messages, latest: Oct 02 2024 at 11:53)
- Internal categories and monadicity (27 messages, latest: Oct 01 2024 at 22:14)
- A topos containing manifolds (24 messages, latest: Oct 01 2024 at 06:32)
- Why Domain Theory? (8 messages, latest: Sep 27 2024 at 18:14)
- Are objects just types? (55 messages, latest: Sep 27 2024 at 05:07)
- composing coends (2 messages, latest: Sep 26 2024 at 19:11)
- How can we study a collection of functions with the same ... (12 messages, latest: Sep 26 2024 at 13:36)
- Should we be surprised that homology exists? (45 messages, latest: Sep 25 2024 at 12:48)
- Representation theory (54 messages, latest: Sep 24 2024 at 18:19)
- The mental process of discovering a definition for hyperg... (2 messages, latest: Sep 24 2024 at 02:51)
- Can it be safe to think of objects in two different categ... (48 messages, latest: Sep 23 2024 at 17:10)
- Should we replace two objects with their product? (6 messages, latest: Sep 23 2024 at 13:57)
- 1-categorical vs 2-categorical limits (36 messages, latest: Sep 23 2024 at 00:12)
- Lipschitz functions (17 messages, latest: Sep 19 2024 at 17:04)
- Futamura projections (11 messages, latest: Sep 19 2024 at 05:24)
- How to make up categories outside of math? (26 messages, latest: Sep 18 2024 at 03:20)
- Modeling relationship between system and knowledge about it (7 messages, latest: Sep 16 2024 at 11:12)
- Can Hom-functors be reversed? (7 messages, latest: Sep 15 2024 at 01:02)
- Cones in a pullback of two categories? (7 messages, latest: Sep 13 2024 at 20:29)
- Ordering on logics of the lambda cube (13 messages, latest: Sep 10 2024 at 23:40)
- Applications of "classifying" objects (32 messages, latest: Sep 09 2024 at 12:46)
- Equivalent or insightful definitions of partial monoids. (33 messages, latest: Sep 05 2024 at 18:37)
- Copresheaves (16 messages, latest: Sep 05 2024 at 15:46)
- internalizing structures obtained by internalization (54 messages, latest: Sep 03 2024 at 17:39)
- Beginner questions (544 messages, latest: Sep 02 2024 at 22:04)
- Reference on product categories (5 messages, latest: Sep 02 2024 at 15:46)
- Proving that the collection of functors between two cat... (2 messages, latest: Sep 02 2024 at 12:32)
- Descent, Cohomology, and Local-Global (11 messages, latest: Sep 01 2024 at 22:02)
- Can we get rid of the arbitrariness of "ordered pairs"? (13 messages, latest: Aug 31 2024 at 16:41)
- Algebra-preserving reflectors (8 messages, latest: Aug 31 2024 at 10:45)
- Proving that the collection of functors between two categ... (10 messages, latest: Aug 31 2024 at 04:46)
- Presentation of 2-monads (and size issues) (17 messages, latest: Aug 30 2024 at 15:52)
- help with lemma (6 messages, latest: Aug 30 2024 at 09:51)
- Mon(Mon(Mon)) = Rig (10 messages, latest: Aug 28 2024 at 19:38)
- What are some uses of exponential objects? (58 messages, latest: Aug 28 2024 at 14:48)
- Higher-order logic as a 'theory' of STLC (15 messages, latest: Aug 27 2024 at 00:32)
- Origin of sets cover axiom (4 messages, latest: Aug 26 2024 at 16:44)
- When is every point-surjective morphism an epimorphism? (36 messages, latest: Aug 26 2024 at 02:18)
- Cotangent bundle vs comonad ? (34 messages, latest: Aug 25 2024 at 08:41)
- Monoidal Structure in a Topos (6 messages, latest: Aug 24 2024 at 14:07)
- Is a universal property just a property? (4 messages, latest: Aug 22 2024 at 13:47)
- Sequent Calculus (128 messages, latest: Aug 19 2024 at 09:39)
- Endofunctors of FinSet (108 messages, latest: Aug 19 2024 at 09:24)
- Clash of notation for distributive laws (8 messages, latest: Aug 18 2024 at 13:19)
- Name for a kind of subcategories (15 messages, latest: Aug 15 2024 at 20:22)
- Different types of non-constructive proofs (27 messages, latest: Aug 15 2024 at 14:35)
- Equivalent characterizations of compact closed category (34 messages, latest: Aug 15 2024 at 10:59)
- Propositions as types, BHK and Computational trilogy (4 messages, latest: Aug 15 2024 at 08:51)
- étale delooping (3 messages, latest: Aug 12 2024 at 19:27)
- Abstracting the undecidability of the Halting Problem (5 messages, latest: Aug 12 2024 at 09:32)
- Relative entropy variable contributions (11 messages, latest: Aug 12 2024 at 01:57)
- Full but not isomorphism-closed subcategory (9 messages, latest: Aug 11 2024 at 21:05)
- pseudolimits from products, powers, and pseudo-equalisers (7 messages, latest: Aug 11 2024 at 00:10)
- Colimits in reflective subcategories (18 messages, latest: Aug 08 2024 at 21:34)
- Deepening Understanding of Petri Nets (71 messages, latest: Aug 05 2024 at 08:13)
- Radix expansions in constructive mathematics (34 messages, latest: Aug 04 2024 at 20:46)
- Composition of combinatorial species (35 messages, latest: Aug 04 2024 at 07:12)
- Measuring the non-totalness of an order (19 messages, latest: Aug 03 2024 at 19:44)
- What does set membership “look like” in Rel? (11 messages, latest: Aug 03 2024 at 13:26)
- EGS of many-sorted combinatorial species (5 messages, latest: Aug 02 2024 at 12:44)
- categorical logic in functor boxes (5 messages, latest: Aug 02 2024 at 11:58)
- Functions that do "bounded computation" (8 messages, latest: Jul 31 2024 at 13:41)
- faithfulness and Cauchy completions (5 messages, latest: Jul 29 2024 at 21:01)
- Codiscrete cospans in V-Cat (1 message, latest: Jul 29 2024 at 00:49)
- Kleisli left adjoint preserving limits? (8 messages, latest: Jul 28 2024 at 14:15)
- Generalized elements & sections of presheaves (15 messages, latest: Jul 28 2024 at 08:21)
- Dold-Kan correspondence (92 messages, latest: Jul 27 2024 at 10:43)
- Maurer-Cartan equation (54 messages, latest: Jul 25 2024 at 14:19)
- Monoidal category question (15 messages, latest: Jul 25 2024 at 13:02)
- products of discrete locales (3 messages, latest: Jul 24 2024 at 17:39)
- Enrichment in a closed category (41 messages, latest: Jul 23 2024 at 13:22)
- Bar construction of a monad (47 messages, latest: Jul 21 2024 at 14:01)
- Relational mathematics (40 messages, latest: Jul 20 2024 at 21:33)
- examples of helpful or important 2-limits (23 messages, latest: Jul 20 2024 at 08:42)
- Concrete categories where the hom-sets are subsets (17 messages, latest: Jul 15 2024 at 01:04)
- defining an internal category without using pullbacks? (47 messages, latest: Jul 11 2024 at 23:15)
- free cocompletions and existing limits (13 messages, latest: Jul 11 2024 at 12:41)
- convenient categories of spaces (4 messages, latest: Jul 11 2024 at 11:19)
- is convergence an open condition? (12 messages, latest: Jul 09 2024 at 19:46)
- non-Boolean topos where every proposition is semi-decidable (19 messages, latest: Jul 08 2024 at 21:46)
- topos where the Rosolini dominance isn't a sigma-frame (2 messages, latest: Jul 08 2024 at 19:56)
- dual to partial maps (15 messages, latest: Jul 08 2024 at 12:31)
- (ID my structure) dagger transpose double category (6 messages, latest: Jul 08 2024 at 06:59)
- Simple Questions about Category of Sets (2 messages, latest: Jul 03 2024 at 15:21)
- Ologs (30 messages, latest: Jul 03 2024 at 08:39)
- Is the category Stoch closed? (6 messages, latest: Jul 01 2024 at 10:49)
- Resolutions and Descent (211 messages, latest: Jun 30 2024 at 06:10)
- 2-sphere isn't an open subset of a cartesian space (32 messages, latest: Jun 30 2024 at 05:54)
- Aut(Torsor) = Inn(Torsor)? (48 messages, latest: Jun 28 2024 at 01:37)
- categorifying positive definite maps (10 messages, latest: Jun 27 2024 at 21:51)
- Necessity of decorated cospans in open Petri nets with rate (23 messages, latest: Jun 27 2024 at 10:25)
- LPO and sigma-frame structure on booleans (17 messages, latest: Jun 26 2024 at 19:58)
- Choice of pushouts in the composition of open Petri nets (5 messages, latest: Jun 25 2024 at 21:28)
- Presheaves are not the free completion of the underlying cat (12 messages, latest: Jun 25 2024 at 13:02)
- Right way to prove 'correctness' of encodings in logic.. (15 messages, latest: Jun 20 2024 at 23:59)
- To say something “is a set” (29 messages, latest: Jun 20 2024 at 13:31)
- A question about Heyting Algebras (3 messages, latest: Jun 18 2024 at 17:03)
- "nostrification" (15 messages, latest: Jun 17 2024 at 03:54)
- Adjunctions (29 messages, latest: Jun 16 2024 at 23:42)
- Coherence of diagrams between presheaf categories (6 messages, latest: Jun 16 2024 at 09:30)
- Eckmann-Hilton argument (80 messages, latest: Jun 16 2024 at 04:28)
- Misunderstanding on Invariant Basis Number (3 messages, latest: Jun 14 2024 at 22:12)
- Not all categories are concrete… or are they? (34 messages, latest: Jun 14 2024 at 17:43)
- Classical model theory in the language of hyperdoctrines (32 messages, latest: Jun 12 2024 at 19:55)
- Traffic control scenarios (10 messages, latest: Jun 12 2024 at 12:15)
- Logic and Set Theory (8 messages, latest: Jun 11 2024 at 11:25)
- Nathaniel Osgood: pushouts and monos (4 messages, latest: Jun 10 2024 at 14:31)
- What is a D-filtered category? (35 messages, latest: Jun 08 2024 at 21:23)
- Is there a nice 2-category of matrices? (11 messages, latest: Jun 08 2024 at 16:59)
- Uniqueness of Natural Isomorphism in Adjunction? (12 messages, latest: Jun 07 2024 at 20:28)
- Pro-completion of N-indexed families of finite sets (11 messages, latest: Jun 07 2024 at 10:31)
- Connection between different "monoids" in CT? (9 messages, latest: Jun 06 2024 at 01:54)
- Cartesian closed category of locales? (22 messages, latest: Jun 04 2024 at 18:43)
- When the number of categories becomes stable (20 messages, latest: Jun 02 2024 at 06:39)
- infinitesimal morphisms (13 messages, latest: May 29 2024 at 13:43)
- who invented string diagrams (26 messages, latest: May 28 2024 at 01:43)
- factorization systems of classical groups (23 messages, latest: May 27 2024 at 16:05)
- Cassierian geometry (3 messages, latest: May 27 2024 at 09:30)
- Godel's Second IT vs Category Theory (74 messages, latest: May 26 2024 at 19:58)
- Soft question (19 messages, latest: May 26 2024 at 19:07)
- Question on Products (53 messages, latest: May 24 2024 at 22:24)
- Homotopified double categories (14 messages, latest: May 22 2024 at 16:47)
- effective descent (126 messages, latest: May 22 2024 at 06:17)
- Question about nature of definitions (8 messages, latest: May 21 2024 at 10:08)
- What are categories of modules over semirings? (2 messages, latest: May 18 2024 at 19:01)
- Sheafification, adjunction between bundles and presheaves (12 messages, latest: May 18 2024 at 09:13)
- Proper class subclass of a set, via bounded separation (8 messages, latest: May 16 2024 at 23:02)
- (co)Products in enriched category theory (3 messages, latest: May 15 2024 at 15:25)
- Enriching in a Presheaf Category (8 messages, latest: May 15 2024 at 08:09)
- Preserving algebraic relations (17 messages, latest: May 14 2024 at 11:37)
- Suggestions on formulating a question about the presentat... (10 messages, latest: May 12 2024 at 20:20)
- Étale space of analytic functions is Hausdorff (14 messages, latest: May 12 2024 at 20:04)
- functors between presheaf categories (37 messages, latest: May 11 2024 at 16:44)
- Categories applied to interprocess communication (9 messages, latest: May 10 2024 at 09:10)
- right adjoints are accessible (3 messages, latest: May 09 2024 at 13:54)
- What is "local to global" in the CT POV? (25 messages, latest: May 08 2024 at 22:24)
- Comodules in the category of convex sets and its relatives (2 messages, latest: May 04 2024 at 08:43)
- Quick Question: Orthogonal vs Universal Factorizations (12 messages, latest: May 01 2024 at 07:07)
- Euclidean constructions as(?) diagrammatic formalisms (2 messages, latest: Apr 30 2024 at 14:25)
- adjunctions between functors into Cat (6 messages, latest: Apr 28 2024 at 10:19)
- "dualizing" geometric shapes using arrows/diagrams? (25 messages, latest: Apr 27 2024 at 19:35)
- Syntactic Site of the Theory of an Infinite Decidable Object (16 messages, latest: Apr 27 2024 at 14:28)
- 'Full' coherence vs strictification (8 messages, latest: Apr 26 2024 at 15:41)
- Presheaf Categories, Comma Objects, Equipments (5 messages, latest: Apr 23 2024 at 19:42)
- What does the associator of a special 2-group tell you? (53 messages, latest: Apr 23 2024 at 15:53)
- Is there a notion dual to that of subobject classifier? (27 messages, latest: Apr 21 2024 at 09:53)
- What is a coindexed coalgebra? (34 messages, latest: Apr 20 2024 at 08:12)
- Quick Question on Yoneda Structures (45 messages, latest: Apr 19 2024 at 13:45)
- What a statement "looks like" in a category (2 messages, latest: Apr 18 2024 at 14:48)
- Functors of Fibrant Double Categories via Proarrow Equipment (9 messages, latest: Apr 18 2024 at 10:56)
- Enumerating properties of categories (69 messages, latest: Apr 17 2024 at 13:44)
- What are Horn theories? (6 messages, latest: Apr 16 2024 at 07:54)
- Ologs: Rigorous Definition of Ologs (12 messages, latest: Apr 16 2024 at 02:20)
- Bell numbers (25 messages, latest: Apr 15 2024 at 21:49)
- Testing vs Generating, Characteristic functions vs ?? (24 messages, latest: Apr 14 2024 at 17:35)
- monoidal coseparator? (14 messages, latest: Apr 12 2024 at 14:05)
- type in the meta-theory v.s. term of a type (94 messages, latest: Apr 12 2024 at 03:09)
- Day convolution on large categories (15 messages, latest: Apr 12 2024 at 01:23)
- Ologs: Semantic Restrictions on Arrows (17 messages, latest: Apr 10 2024 at 21:39)
- What is geometry? (113 messages, latest: Apr 10 2024 at 19:37)
- Coherence theorems for monoidal (oo,1)-categories (28 messages, latest: Apr 10 2024 at 18:28)
- (Locally) internal categories and internal logic (9 messages, latest: Apr 10 2024 at 07:00)
- Model category structures on Span(C) (2 messages, latest: Apr 09 2024 at 11:43)
- Cohomological characterization of monoidal categories (2 messages, latest: Apr 08 2024 at 05:44)
- References on ring bimodules as enriched profunctors (7 messages, latest: Apr 08 2024 at 02:44)
- Strong monoidal functors preserve monoids (27 messages, latest: Apr 07 2024 at 19:19)
- Commutative monoids equipped with bizarre garbage (19 messages, latest: Apr 07 2024 at 15:10)
- Natural Numbers Object (24 messages, latest: Apr 05 2024 at 22:19)
- collecting proofs that RxS is a Rng just when R,S are rings (6 messages, latest: Apr 05 2024 at 19:06)
- ✔ Does evaluation of a functor at object define a functor? (4 messages, latest: Apr 05 2024 at 15:01)
- Set and Continuum Hypothesis (9 messages, latest: Apr 04 2024 at 19:16)
- Graph-theoretic properties of number systems (13 messages, latest: Apr 04 2024 at 17:50)
- Enriched Objects (17 messages, latest: Apr 03 2024 at 20:37)
- Spec(Poly) (25 messages, latest: Apr 03 2024 at 18:56)
- isococomma squares and pseudoepic morphisms (6 messages, latest: Apr 03 2024 at 18:51)
- When the presheaf of bounded functions is a sheaf (12 messages, latest: Apr 03 2024 at 03:43)
- ideal extension (commutative algebra) (5 messages, latest: Apr 02 2024 at 05:31)
- Product Preserving Functor (8 messages, latest: Apr 01 2024 at 16:55)
- What is the cardinality of Cat? (14 messages, latest: Mar 30 2024 at 04:33)
- Can there be a rule of thumb / algorithm to optimize leve... (7 messages, latest: Mar 29 2024 at 14:51)
- Intuition for enrichment (20 messages, latest: Mar 28 2024 at 17:25)
- Freeness and monics (5 messages, latest: Mar 28 2024 at 17:25)
- Does Prof have (at least some) inserters? (3 messages, latest: Mar 27 2024 at 19:22)
- ✔ Johnstone Elephant B lemma 1.3.2 (2 messages, latest: Mar 27 2024 at 18:16)
- Yoneda Lemma and Pascal Triangle (1 message, latest: Mar 26 2024 at 18:21)
- Well-Typed Programs/Algebraic Structures (11 messages, latest: Mar 26 2024 at 03:38)
- Profunctor and Categorified Linear Algebra (12 messages, latest: Mar 25 2024 at 16:43)
- 2-limits vs terminal cone (1 message, latest: Mar 25 2024 at 06:45)
- Axiomatizing Glymour’s Theory of Bootstrap Confirmation (7 messages, latest: Mar 23 2024 at 21:07)
- Axiomatizin Glymour’s Theory of Bootstrap Confirmation (5 messages, latest: Mar 22 2024 at 11:19)
- Pcoh and biproducts (5 messages, latest: Mar 22 2024 at 10:23)
- Defining a basic mathematical theory (Glymour’s bootstrap... (1 message, latest: Mar 21 2024 at 17:56)
- Is binary gluing preserved by "localising" a presheaf? (17 messages, latest: Mar 21 2024 at 03:29)
- cancellation for monadic adjunctions (8 messages, latest: Mar 20 2024 at 21:16)
- Quick question on polynomial functors (18 messages, latest: Mar 19 2024 at 18:23)
- Ends/coends and quantifiers (32 messages, latest: Mar 19 2024 at 18:02)
- Two functor pairs out of a profunctor (5 messages, latest: Mar 19 2024 at 12:57)
- Continuous functor in enriched category (3 messages, latest: Mar 18 2024 at 21:47)
- Expression, algebra and coalgebra (43 messages, latest: Mar 17 2024 at 21:32)
- accessible categories (3 messages, latest: Mar 17 2024 at 19:47)
- What is this Chu-like construction? (5 messages, latest: Mar 16 2024 at 12:54)
- Isomorphisms in Kleisli categories (20 messages, latest: Mar 16 2024 at 12:27)
- id my structure (10 messages, latest: Mar 15 2024 at 19:21)
- property of flasque presheaves? (4 messages, latest: Mar 15 2024 at 05:02)
- Spaces vs/and Categories (24 messages, latest: Mar 15 2024 at 02:55)
- commutation of colim with hom (10 messages, latest: Mar 14 2024 at 16:22)
- Two monads on the same functor (7 messages, latest: Mar 14 2024 at 09:29)
- Completeness/co-completeness of universal algebra varieties (24 messages, latest: Mar 13 2024 at 23:06)
- Ologs: Quantification (7 messages, latest: Mar 12 2024 at 21:58)
- Overview of Syntax-Semantics Duality (109 messages, latest: Mar 12 2024 at 21:52)
- "pullbacks" that report approximate agreements? (72 messages, latest: Mar 12 2024 at 19:26)
- Categorifying the median or the average (47 messages, latest: Mar 12 2024 at 15:47)
- Presheaves from functors (10 messages, latest: Mar 08 2024 at 18:11)
- can you make a "polynomials" category from a category? (32 messages, latest: Mar 08 2024 at 13:02)
- Question about cartesian closed topological constructs (22 messages, latest: Mar 07 2024 at 00:12)
- Left/right inverses, adjunctions and Kan extensions (6 messages, latest: Mar 06 2024 at 17:09)
- Category of Material Sets (9 messages, latest: Mar 05 2024 at 15:34)
- Linear algebra behind PCA (9 messages, latest: Mar 05 2024 at 08:54)
- Module with finite bases of different sizes? (38 messages, latest: Mar 05 2024 at 05:16)
- Some General Questions about Equalizers and Notation (12 messages, latest: Mar 04 2024 at 12:37)
- Kock-Lawvere axiom in a Boolean topos (7 messages, latest: Mar 03 2024 at 02:40)
- representations of GL(n) (11 messages, latest: Mar 01 2024 at 02:39)
- Analytic LPO and real numbers (9 messages, latest: Feb 29 2024 at 16:02)
- Set-like directed colimits (67 messages, latest: Feb 27 2024 at 16:04)
- Double categories without faith or drudgery (33 messages, latest: Feb 26 2024 at 21:28)
- What does 'fibrant' mean? (73 messages, latest: Feb 26 2024 at 09:50)
- Equivalences of (Fibrant) Double Categories (39 messages, latest: Feb 25 2024 at 22:41)
- Dedekind completions of linear preorders (11 messages, latest: Feb 25 2024 at 13:24)
- Preservation of finite limits vs products and equalisers (23 messages, latest: Feb 24 2024 at 19:39)
- Strictification of fibrant double categories (7 messages, latest: Feb 22 2024 at 23:23)
- Ring homomorphisms between integral domains (24 messages, latest: Feb 22 2024 at 17:37)
- Integers and rational numbers as strict initial objects? (11 messages, latest: Feb 22 2024 at 05:11)
- Reflective subcategories stable under pullback (19 messages, latest: Feb 19 2024 at 18:43)
- Changing cofinality of a regular uncountable cardinal (14 messages, latest: Feb 19 2024 at 09:22)
- Continuous group actions as functors (27 messages, latest: Feb 18 2024 at 23:37)
- Idempotent strong monads and diagonals (6 messages, latest: Feb 18 2024 at 17:55)
- Segal conditions (4 messages, latest: Feb 16 2024 at 19:10)
- joyal's topos talk, softness, and coherence spaces (28 messages, latest: Feb 16 2024 at 17:52)
- Virtual Double Categories Overview (29 messages, latest: Feb 16 2024 at 15:46)
- Nucleus of a Profunctor with value in a Boolean algebra (3 messages, latest: Feb 15 2024 at 22:40)
- Operads vs morphisms with product domains (20 messages, latest: Feb 14 2024 at 22:47)
- Weak countable choice and the real numbers (10 messages, latest: Feb 14 2024 at 16:40)
- injective objects in a topos (2 messages, latest: Feb 14 2024 at 09:57)
- Concrete product categories (10 messages, latest: Feb 13 2024 at 11:58)
- Is there any function satisfying the following properties? (13 messages, latest: Feb 13 2024 at 07:15)
- Minima and maxima in Archimedean ordered fields (12 messages, latest: Feb 08 2024 at 21:18)
- a dense sentence which calls to be decoded (19 messages, latest: Feb 07 2024 at 20:36)
- 2-category of slice categories and base change adjoint tripl (3 messages, latest: Feb 06 2024 at 17:09)
- Universal property of the locale of real numbers (2 messages, latest: Feb 06 2024 at 15:37)
- Understanding a definition more categorically (7 messages, latest: Feb 06 2024 at 05:39)
- Cauchy completeness of Cauchy sequences of rational numbers (6 messages, latest: Feb 05 2024 at 20:51)
- Countable unions of countable sets (7 messages, latest: Feb 04 2024 at 16:28)
- (When) Do Essential Subtoposes Form an Internal Locale? (22 messages, latest: Feb 04 2024 at 01:44)
- Countable reals (22 messages, latest: Feb 03 2024 at 19:27)
- Universal property of the reals as a preorder (35 messages, latest: Feb 03 2024 at 03:16)
- (∞, 1)-categorical version of elementary topos (10 messages, latest: Feb 02 2024 at 12:12)
- Filtered colimits and finitary monads (37 messages, latest: Feb 02 2024 at 00:20)
- Apartness relations (5 messages, latest: Feb 01 2024 at 21:51)
- Basic question on topoi (toposes?). (21 messages, latest: Feb 01 2024 at 01:04)
- What is this factorisation? (19 messages, latest: Jan 31 2024 at 11:41)
- Internal formal topologies in a Heyting pretopos (17 messages, latest: Jan 30 2024 at 12:05)
- Found a rare geometric morphism (17 messages, latest: Jan 30 2024 at 01:01)
- Naturality as a Property (9 messages, latest: Jan 28 2024 at 13:25)
- A question on notation (5 messages, latest: Jan 28 2024 at 11:11)
- "Orthogonal" composition of profunctors (9 messages, latest: Jan 27 2024 at 08:56)
- Functors on Set preserve epis without AC (2 messages, latest: Jan 24 2024 at 15:07)
- Thomason model structure (7 messages, latest: Jan 22 2024 at 20:23)
- Exponentiable affine schemes (64 messages, latest: Jan 22 2024 at 04:05)
- From the functor of points to the points of a scheme (23 messages, latest: Jan 21 2024 at 22:22)
- Change of ambient category (15 messages, latest: Jan 21 2024 at 18:47)
- Gluings vs colimits (26 messages, latest: Jan 21 2024 at 13:06)
- algebra for a profunctor (13 messages, latest: Jan 20 2024 at 04:35)
- hypergraph categories (85 messages, latest: Jan 20 2024 at 01:46)
- Categorical semantics of this dependent type (13 messages, latest: Jan 19 2024 at 17:53)
- ✔ Analytic LPO and real numbers (15 messages, latest: Jan 18 2024 at 11:38)
- distributive laws and monadic functors (101 messages, latest: Jan 17 2024 at 09:44)
- Simplicial sets - where does this reasoning fail? (4 messages, latest: Jan 16 2024 at 20:24)
- co-cartesian monoidal fibration (3 messages, latest: Jan 16 2024 at 07:49)
- calculus of fractions (3 messages, latest: Jan 15 2024 at 18:51)
- Are plain multicategories fibred over categories? (6 messages, latest: Jan 12 2024 at 20:31)
- Some set theory (5 messages, latest: Jan 09 2024 at 16:14)
- Question about a perspective on fibrations (1 message, latest: Jan 07 2024 at 01:44)
- Are sets accessible categories? (16 messages, latest: Jan 05 2024 at 02:21)
- A certain 2-limit, what is it called? (9 messages, latest: Jan 04 2024 at 16:00)
- Left/Right Monad strength over symmetric monoidal category (11 messages, latest: Jan 03 2024 at 19:08)
- Peirce, abduction (2 messages, latest: Jan 03 2024 at 09:39)
- Lawvere-Tierney topologies in terms of the subobject J (3 messages, latest: Jan 01 2024 at 17:01)
- Free monoid in species (63 messages, latest: Dec 31 2023 at 23:19)
- The category theoretic origin of arithmetic product [x-post] (55 messages, latest: Dec 31 2023 at 01:38)
- "Convergence" to compositionality (30 messages, latest: Dec 30 2023 at 20:05)
- Computing (co)ends (18 messages, latest: Dec 29 2023 at 16:36)
- Classification theory for accessible categories (4 messages, latest: Dec 29 2023 at 13:52)
- fibrations and opfibrations between presheaf categories (16 messages, latest: Dec 28 2023 at 11:42)
- Accessible two-sided fibration (11 messages, latest: Dec 28 2023 at 09:48)
- being a good community member (11 messages, latest: Dec 26 2023 at 16:35)
- eliminating disjuncts (3 messages, latest: Dec 25 2023 at 23:35)
- Formal Definition for a Physical Model (16 messages, latest: Dec 22 2023 at 23:26)
- discussing isomorphisms (8 messages, latest: Dec 22 2023 at 02:12)
- Non-existence of a particular left adjoint (4 messages, latest: Dec 20 2023 at 16:48)
- Limits in a category of fixpoints (10 messages, latest: Dec 20 2023 at 16:35)
- A bimonoid in [C,C] (4 messages, latest: Dec 20 2023 at 10:02)
- The universal property of Adj (7 messages, latest: Dec 20 2023 at 08:52)
- Formal Definition for an "Analytic Structure" (100 messages, latest: Dec 18 2023 at 14:43)
- understanding "dual" statements (153 messages, latest: Dec 17 2023 at 20:49)
- analytic functor/finite sets (26 messages, latest: Dec 16 2023 at 22:39)
- Understanding proof in Proposition 4.1.6 by Borceux Vol 2 (5 messages, latest: Dec 14 2023 at 17:42)
- Does my functor preserve left Kan extensions? (6 messages, latest: Dec 13 2023 at 16:05)
- 3 for 2 Property (37 messages, latest: Dec 13 2023 at 14:55)
- Interpreting slice categories in programming (20 messages, latest: Dec 08 2023 at 20:00)
- ✔ Does this variation in the "slice category"have a name? (1 message, latest: Dec 08 2023 at 15:03)
- Does this variation in the "slice category"have a name? (94 messages, latest: Dec 07 2023 at 12:49)
- Why is canonicity/adequacy important in type theory? (39 messages, latest: Dec 06 2023 at 20:00)
- composing universal property morphisms (6 messages, latest: Dec 05 2023 at 21:19)
- model structures on globular sets (2 messages, latest: Dec 05 2023 at 18:14)
- Cocartesian multicategories (6 messages, latest: Dec 04 2023 at 10:39)
- transporting structure across morphisms (53 messages, latest: Dec 04 2023 at 08:33)
- transporting structure across an adjunction (7 messages, latest: Dec 03 2023 at 19:29)
- About closed symmetric monoidal categories (3 messages, latest: Dec 01 2023 at 16:31)
- Preservation of domains, codomains and identities (3 messages, latest: Nov 28 2023 at 20:57)
- Pullback-stable coproducts: morphisms? (6 messages, latest: Nov 28 2023 at 15:41)
- Question about copowers (18 messages, latest: Nov 28 2023 at 15:38)
- Para construction and symmetric monoidal categories (47 messages, latest: Nov 27 2023 at 11:05)
- representable free functors? (99 messages, latest: Nov 24 2023 at 22:55)
- Universal property of semidirect products (23 messages, latest: Nov 24 2023 at 22:53)
- Examples of directed graphs with specific properties (215 messages, latest: Nov 24 2023 at 22:10)
- coalgebras, operational semantics and the Giry monad (93 messages, latest: Nov 23 2023 at 23:13)
- Semantics of Type Theory (66 messages, latest: Nov 22 2023 at 21:00)
- Open question / conversation (71 messages, latest: Nov 22 2023 at 06:26)
- Cartesian Multicategories and Operads (15 messages, latest: Nov 20 2023 at 06:28)
- metric monads : a paper by Jiri Rosicky (8 messages, latest: Nov 16 2023 at 18:27)
- Doctrines, adjoints, and all that (33 messages, latest: Nov 16 2023 at 07:30)
- Displayed vs indexed fuzzy relations (16 messages, latest: Nov 15 2023 at 20:19)
- F-Alg as 2limit (17 messages, latest: Nov 15 2023 at 20:05)
- local presentability of Cat (24 messages, latest: Nov 14 2023 at 23:07)
- Quantifiers as adjoints and equality (17 messages, latest: Nov 13 2023 at 13:06)
- Cocomplete fibrations (30 messages, latest: Nov 13 2023 at 12:04)
- normal homomorphisms (4 messages, latest: Nov 09 2023 at 01:29)
- Beck monadicity in Fib/A (7 messages, latest: Nov 08 2023 at 13:24)
- Algebraic theories (23 messages, latest: Nov 07 2023 at 11:32)
- 'Cumulative hierarchy without truncation' in HoTT (31 messages, latest: Nov 07 2023 at 08:52)
- defining a "diagram limit" for a diagram (32 messages, latest: Nov 06 2023 at 20:25)
- Monads with Operations (14 messages, latest: Nov 04 2023 at 16:38)
- What is the structure of $$\mathcal{P}^{\text{fin}}(S)$$? (23 messages, latest: Nov 04 2023 at 12:05)
- joint equalizer (9 messages, latest: Nov 01 2023 at 09:01)
- monoidal categories and bicategories (11 messages, latest: Oct 31 2023 at 00:15)
- morphisms inverted by right adjoint (3 messages, latest: Oct 30 2023 at 09:18)
- measuring similarity of objects with functors (12 messages, latest: Oct 28 2023 at 20:31)
- Can we make an n-category of "towers and instructions"? (121 messages, latest: Oct 26 2023 at 17:55)
- Algebras as presheaves on the Kleisli category (7 messages, latest: Oct 26 2023 at 09:58)
- Exponentiation (108 messages, latest: Oct 24 2023 at 15:40)
- Something which isn't a globe (16 messages, latest: Oct 22 2023 at 06:20)
- stream events (6 messages, latest: Oct 21 2023 at 14:32)
- A sheaf isomorphic to a sheaf of continuous sections (10 messages, latest: Oct 16 2023 at 17:41)
- Slice Categories and the Hom(-, A) Functor (4 messages, latest: Oct 16 2023 at 15:14)
- Software for doing mathematics (21 messages, latest: Oct 14 2023 at 20:14)
- a simple 2-categorical exercise (7 messages, latest: Oct 12 2023 at 18:05)
- Pushouts of monomorphisms of noncommutative k-algebras (6 messages, latest: Oct 12 2023 at 12:51)
- local universe model: pullback stability (9 messages, latest: Oct 11 2023 at 09:38)
- A Category for DSLs? (22 messages, latest: Oct 10 2023 at 21:45)
- Lawvere theories and 2-categories (32 messages, latest: Oct 10 2023 at 02:41)
- Adjunctions Internal to Prof / Dualizable Profunctors (7 messages, latest: Oct 03 2023 at 20:18)
- Fibrations of models (7 messages, latest: Oct 03 2023 at 17:26)
- submersion stable under pullback (12 messages, latest: Oct 02 2023 at 08:19)
- Some simplicial combinatorics (8 messages, latest: Sep 29 2023 at 21:32)
- ✔ Sheaf condition as limit condition (6 messages, latest: Sep 26 2023 at 03:04)
- Sheaves and Bundles (10 messages, latest: Sep 25 2023 at 01:02)
- Lambda calculus and Cartesian closed categories (12 messages, latest: Sep 24 2023 at 22:53)
- how are monads used? (40 messages, latest: Sep 24 2023 at 22:38)
- Reference for transporting Kan extension across 2-adjunction (6 messages, latest: Sep 20 2023 at 17:15)
- creating or finding beginner research projects (11 messages, latest: Sep 19 2023 at 20:13)
- fibred category of quotients (9 messages, latest: Sep 15 2023 at 20:37)
- combining optimization problems (21 messages, latest: Sep 08 2023 at 20:09)
- Choosing a vector space basis; choosing a coproduct (30 messages, latest: Sep 08 2023 at 16:35)
- Strict monoidal categories, concretely (17 messages, latest: Sep 08 2023 at 06:19)
- induced automorphisms (15 messages, latest: Sep 07 2023 at 18:44)
- products and coproducts in slice categories (11 messages, latest: Sep 07 2023 at 17:01)
- a ring as a category where the elements are objects (7 messages, latest: Sep 07 2023 at 14:31)
- graphs within graphs (21 messages, latest: Sep 05 2023 at 10:00)
- Partial sets and negatives (9 messages, latest: Aug 29 2023 at 07:48)
- objects “are” something (37 messages, latest: Aug 24 2023 at 07:20)
- Category equivalence and equivalence classes (63 messages, latest: Aug 23 2023 at 18:45)
- "Naturally occuring" braided monoidal categories (6 messages, latest: Aug 22 2023 at 22:09)
- choosing all list objects in a category simulateously (14 messages, latest: Aug 17 2023 at 21:30)
- Morphisms from the monoidal unit (9 messages, latest: Aug 16 2023 at 16:18)
- Double negation fibrewise and another modality "on the base" (5 messages, latest: Aug 14 2023 at 07:52)
- Riehl, “Category Theory in Context”. (11 messages, latest: Aug 08 2023 at 10:57)
- Diagram dimensions (45 messages, latest: Aug 02 2023 at 10:37)
- Is there a formalization of "non-parametric functors"? (20 messages, latest: Aug 01 2023 at 08:32)
- What can morphisms be? (19 messages, latest: Jul 31 2023 at 21:07)
- equivariant (18 messages, latest: Jul 31 2023 at 18:32)
- Well quasi-orders: a categorial perspective? (8 messages, latest: Jul 31 2023 at 17:46)
- operads and parameterized categories (11 messages, latest: Jul 31 2023 at 15:12)
- Linear sums in categories (16 messages, latest: Jul 31 2023 at 13:02)
- A formal definition of a commuting diagram (82 messages, latest: Jul 29 2023 at 06:22)
- natural model (8 messages, latest: Jul 28 2023 at 17:32)
- Preorders and monoidal preorders (43 messages, latest: Jul 25 2023 at 15:27)
- ✔ Why are Pointwise Kan Extensions called that? (9 messages, latest: Jul 24 2023 at 19:10)
- Synthetic introduction to noncommutative geometry? (8 messages, latest: Jul 20 2023 at 14:47)
- Reference for algebraic theories (10 messages, latest: Jul 20 2023 at 04:04)
- "re-strictification" of pseudofunctors (10 messages, latest: Jul 19 2023 at 20:17)
- Exact squares with an additional property (1 message, latest: Jul 19 2023 at 17:58)
- Lean theorem prover or similar (18 messages, latest: Jul 19 2023 at 07:28)
- Universal property of a terminal object (4 messages, latest: Jul 18 2023 at 19:07)
- How to understand this structure in Category Theory? (9 messages, latest: Jul 18 2023 at 16:07)
- Horns filling up to some degree (24 messages, latest: Jul 17 2023 at 20:10)
- logic inherited by functor categories (17 messages, latest: Jul 15 2023 at 21:27)
- What does a slice topos classify? (50 messages, latest: Jul 07 2023 at 18:50)
- any work on dynamical system bifurcations? (6 messages, latest: Jul 05 2023 at 10:27)
- Cylinder object model 2-category (3 messages, latest: Jun 28 2023 at 12:44)
- Cauchy complete linear categories (10 messages, latest: Jun 22 2023 at 14:22)
- Do transducers have a category theory formalism? (4 messages, latest: Jun 21 2023 at 22:27)
- adjoint to decoration (15 messages, latest: Jun 21 2023 at 16:23)
- ✔ homotopy 2-limits as biadjunctions (3 messages, latest: Jun 21 2023 at 10:19)
- Non-commutation of finite limits and non-filtered colimits (6 messages, latest: Jun 19 2023 at 00:55)
- terminology for squares with injective pushout gap-maps (3 messages, latest: Jun 17 2023 at 03:30)
- What is a fibration? (37 messages, latest: Jun 16 2023 at 23:09)
- Are monad liftings evil? (11 messages, latest: Jun 16 2023 at 17:17)
- Kan is to groupoid as sSet is to... what? (18 messages, latest: Jun 14 2023 at 17:14)
- ✔ 2 limits in 2-categories of diagrams (26 messages, latest: Jun 14 2023 at 11:58)
- ✔ self-enrichment vs monoidal closed (16 messages, latest: Jun 12 2023 at 19:04)
- What is the relation between F-Algebras and Free Algebras? (11 messages, latest: Jun 11 2023 at 17:16)
- when are "derived" operations preserved by a functor? (32 messages, latest: Jun 10 2023 at 18:45)
- Connected Category (3 messages, latest: Jun 09 2023 at 21:34)
- ✔ Set-toposes are cocomplete? (15 messages, latest: Jun 02 2023 at 10:07)
- equivalent categories and equivalence relations (23 messages, latest: May 28 2023 at 21:09)
- how to argue quotient maps form a natural transformation? (2 messages, latest: May 28 2023 at 04:58)
- checking my understanding of (co)monoids in monoidal cats? (3 messages, latest: May 25 2023 at 11:19)
- functors compatible with automorphisms (7 messages, latest: May 23 2023 at 19:31)
- how to recover a commutative ring from its modules (72 messages, latest: May 22 2023 at 22:27)
- lifting a subset-valued operation (3 messages, latest: May 18 2023 at 02:50)
- making a category into an Ab-enriched category (25 messages, latest: May 17 2023 at 21:05)
- F-algebras over Pos (6 messages, latest: May 14 2023 at 10:44)
- ✔ when is restriction of scalars monadic? (30 messages, latest: May 14 2023 at 00:39)
- ✔ (co)limits in the covariant Grothendieck construction (7 messages, latest: May 13 2023 at 23:01)
- ✔ unit is invertible iff RL ≅ 1 (13 messages, latest: May 13 2023 at 22:44)
- ✔ The category of monads? (5 messages, latest: May 13 2023 at 03:08)
- If a trace corresponds to feedback, what is cotrace? (45 messages, latest: May 09 2023 at 12:57)
- definition of "path" and principle of equivalence (25 messages, latest: May 08 2023 at 14:49)
- Do adjoints to projection maps form a functor? (7 messages, latest: May 06 2023 at 06:01)
- Hegel dialectics (92 messages, latest: May 05 2023 at 20:55)
- what are the main properties of monadic functors? (22 messages, latest: May 05 2023 at 15:50)
- isomorphic objects and functors (53 messages, latest: May 05 2023 at 14:24)
- Grothendieck construction variants of poset-valued presheaf (4 messages, latest: May 04 2023 at 23:53)
- Exponentials in Comma Categories (1 message, latest: May 04 2023 at 13:24)
- fractional dimensional lie groups? (8 messages, latest: May 01 2023 at 18:08)
- References on Continuous Logic and/or Computational trilogy (3 messages, latest: May 01 2023 at 05:08)
- dinatural transformations (11 messages, latest: Apr 29 2023 at 04:50)
- Object that generate equivalent slice cats (5 messages, latest: Apr 28 2023 at 17:32)
- Pushout complements in Cat (32 messages, latest: Apr 27 2023 at 15:40)
- algebra morphisms parameterised by endofunctor morphisms (7 messages, latest: Apr 25 2023 at 21:24)
- subsets and subgroups (60 messages, latest: Apr 25 2023 at 09:38)
- initial sources as initial objects (23 messages, latest: Apr 25 2023 at 07:37)
- can a unique arrow makes more than one commuting diagram? (7 messages, latest: Apr 24 2023 at 15:46)
- what kind of thing is a Chart between polynomial functors? (16 messages, latest: Apr 24 2023 at 11:27)
- Adjunction of spans (10 messages, latest: Apr 21 2023 at 21:48)
- delooping and linearly distributive categories (3 messages, latest: Apr 21 2023 at 18:59)
- Partial fibration (6 messages, latest: Apr 20 2023 at 12:07)
- Is this well defined? (18 messages, latest: Apr 20 2023 at 10:59)
- Tannakian categories (8 messages, latest: Apr 18 2023 at 16:35)
- Do physical units 'structure' sets of numbers? (100 messages, latest: Apr 12 2023 at 18:47)
- On the existence of a category of functors (14 messages, latest: Apr 11 2023 at 15:29)
- Order theory question (5 messages, latest: Apr 08 2023 at 17:33)
- cylindric algebras & hyperdoctrines (24 messages, latest: Apr 06 2023 at 05:51)
- Kock-Lawvere axiom (2 messages, latest: Apr 04 2023 at 18:20)
- ✔ Connected components functor strong monoidal (4 messages, latest: Apr 03 2023 at 09:10)
- why rings need identities (49 messages, latest: Mar 29 2023 at 23:34)
- small products in model categories (5 messages, latest: Mar 29 2023 at 07:01)
- an invertibility problem (13 messages, latest: Mar 28 2023 at 18:32)
- open system (1 message, latest: Mar 26 2023 at 16:34)
- A formal programming category (98 messages, latest: Mar 23 2023 at 20:30)
- Continuations and polynomials (12 messages, latest: Mar 21 2023 at 16:59)
- Extending "Functors" that act on a subset of Set (9 messages, latest: Mar 17 2023 at 16:33)
- euler characteristic for infinite CW complexes (5 messages, latest: Mar 14 2023 at 01:11)
- What are "structs" in Category Theory? (8 messages, latest: Mar 11 2023 at 18:33)
- invertible endofunctors inducing an equivalence relationship (45 messages, latest: Mar 05 2023 at 22:38)
- complex cobordism theory (1 message, latest: Mar 05 2023 at 20:39)
- On the definition of a monoid (64 messages, latest: Mar 02 2023 at 06:56)
- projective objects (56 messages, latest: Feb 28 2023 at 23:49)
- Rel category (26 messages, latest: Feb 28 2023 at 18:52)
- morphisms to products (38 messages, latest: Feb 24 2023 at 17:43)
- monoids and coproducts (74 messages, latest: Feb 20 2023 at 23:24)
- Dynamical systems (27 messages, latest: Feb 18 2023 at 06:31)
- irreductible/indecomposable arrow (3 messages, latest: Feb 17 2023 at 16:36)
- Category Theory and Programming - what are functors actually (13 messages, latest: Feb 11 2023 at 19:42)
- forgetful functors (30 messages, latest: Feb 09 2023 at 01:37)
- Monads whose algebras are / give rise to monads (8 messages, latest: Feb 08 2023 at 23:15)
- van kampen (1 message, latest: Feb 08 2023 at 22:54)
- Internal rigs in rig-categories? (16 messages, latest: Feb 06 2023 at 16:45)
- products and coproducts with string diagrams (13 messages, latest: Jan 31 2023 at 15:19)
- pushout of coproducts (4 messages, latest: Jan 30 2023 at 13:09)
- ✔ Subobject classifier question (9 messages, latest: Jan 29 2023 at 09:52)
- spans that are pullback cones (4 messages, latest: Jan 28 2023 at 21:13)
- ✔ Is the double category of spans closed? (13 messages, latest: Jan 28 2023 at 01:26)
- ✔ Definition of Categorical Automaton on Planet Physics. (4 messages, latest: Jan 27 2023 at 20:00)
- concategories (28 messages, latest: Jan 22 2023 at 02:40)
- Categorification of consequence relations (2 messages, latest: Jan 21 2023 at 17:07)
- Partial map classifiers (1 message, latest: Jan 18 2023 at 23:05)
- Relative cell complexes (5 messages, latest: Jan 18 2023 at 22:39)
- Properties of the pullback of categories (8 messages, latest: Jan 18 2023 at 15:29)
- Cubes as chain complexes (1 message, latest: Jan 17 2023 at 08:21)
- idempotent monads from the wrong side (5 messages, latest: Jan 16 2023 at 23:02)
- monads with all algebras free (13 messages, latest: Jan 16 2023 at 02:18)
- When/why are horn fillers universal? (22 messages, latest: Jan 15 2023 at 17:50)
- The free category with finite limits on a set (23 messages, latest: Jan 12 2023 at 11:19)
- Degeneracies of (not in) simplicial sets (8 messages, latest: Jan 08 2023 at 20:04)
- Reference regarding Top and related categories (12 messages, latest: Jan 05 2023 at 14:57)
- Intuition for the 'naturality axiom' (28 messages, latest: Jan 03 2023 at 11:07)
- Axiom of choice (6 messages, latest: Dec 28 2022 at 22:28)
- Fully faithful cofunctors (3 messages, latest: Dec 27 2022 at 11:11)
- Applications of the naturality of Yoneda (7 messages, latest: Dec 26 2022 at 15:20)
- Dynamical system (72 messages, latest: Dec 25 2022 at 15:42)
- category theory and philosophy books (54 messages, latest: Dec 16 2022 at 22:06)
- presheaf action (4 messages, latest: Dec 09 2022 at 09:39)
- dependence, posets, and ambiguity (1 message, latest: Dec 05 2022 at 23:43)
- Initial algebras as heteromorphisms (20 messages, latest: Dec 02 2022 at 19:18)
- point-free geometry (3 messages, latest: Nov 30 2022 at 06:40)
- self-reference (17 messages, latest: Nov 27 2022 at 15:53)
- Applying to the Adjoint School (10 messages, latest: Nov 26 2022 at 22:28)
- Towards an understanding of pullbacks (37 messages, latest: Nov 26 2022 at 12:45)
- pairwise relationships of three things (9 messages, latest: Nov 24 2022 at 19:02)
- Finitary monadic functor (5 messages, latest: Nov 24 2022 at 14:09)
- Grothendieck topologies (33 messages, latest: Nov 22 2022 at 13:54)
- Grassmann as a precursor of CT (7 messages, latest: Nov 10 2022 at 15:28)
- Closed discrete fibration? (6 messages, latest: Nov 10 2022 at 15:25)
- Graded bicategory (3 messages, latest: Nov 10 2022 at 10:29)
- Understanding Yoneda lemma (10 messages, latest: Nov 09 2022 at 09:45)
- HoTT and philosophy (52 messages, latest: Nov 07 2022 at 20:24)
- Associativity of limits = limits commute with limits? (5 messages, latest: Nov 01 2022 at 19:36)
- Tensor product of convex spaces (43 messages, latest: Nov 01 2022 at 18:26)
- Yoneda embedding of a cartesian closed category (3 messages, latest: Nov 01 2022 at 17:35)
- Limits from products and equalizsers without choice (11 messages, latest: Oct 31 2022 at 16:48)
- Piecewise linear functions (6 messages, latest: Oct 31 2022 at 08:26)
- Cauchy in terms of convergence (19 messages, latest: Oct 28 2022 at 21:00)
- 2-functors from functors (6 messages, latest: Oct 18 2022 at 18:48)
- clarifying understanding of coproducts and disjoint unions (7 messages, latest: Oct 18 2022 at 17:32)
- pseudomonoid objects (3 messages, latest: Oct 18 2022 at 16:31)
- UMP of models of a sketch (2 messages, latest: Oct 18 2022 at 00:43)
- proarrows (30 messages, latest: Oct 16 2022 at 01:12)
- 2-dimensional Lawvere theories (18 messages, latest: Oct 14 2022 at 16:11)
- monoidal category Grp (7 messages, latest: Oct 13 2022 at 15:28)
- compatible algebras and opalgebras (8 messages, latest: Oct 12 2022 at 14:05)
- what kind of dual is coYoneda? (16 messages, latest: Oct 12 2022 at 13:29)
- Is taking the ultrapower a monad? (5 messages, latest: Oct 11 2022 at 14:09)
- string diagrams 101 (30 messages, latest: Oct 11 2022 at 13:59)
- stochastic computation (11 messages, latest: Oct 10 2022 at 21:29)
- When is (X,S ⊆ P(X)) -> X a fibration? (13 messages, latest: Oct 10 2022 at 15:46)
- definition of exponential object without cartesianness (37 messages, latest: Oct 06 2022 at 13:24)
- $$\lambda$$-pure in $$\lambda$$-accessible are monos (1 message, latest: Oct 04 2022 at 08:21)
- representable props and pros (25 messages, latest: Oct 03 2022 at 07:32)
- topos theory question (17 messages, latest: Sep 30 2022 at 05:56)
- shapes that compose (10 messages, latest: Sep 29 2022 at 18:08)
- colimits of limit diagrams and vice versa (3 messages, latest: Sep 29 2022 at 02:38)
- question about triangulated categories (10 messages, latest: Sep 28 2022 at 19:24)
- viewing objects as categories (40 messages, latest: Sep 28 2022 at 10:34)
- Properads that are not props (21 messages, latest: Sep 27 2022 at 19:41)
- Epis in a topos (2 messages, latest: Sep 27 2022 at 10:40)
- A question about triangulated categories (6 messages, latest: Sep 27 2022 at 10:36)
- A kind of generalized adjunction (5 messages, latest: Sep 25 2022 at 16:17)
- 3-categorical notions of universal arrow, adjunction (4 messages, latest: Sep 22 2022 at 09:51)
- ✔ universal property of Alg(T) for a monoidal theory (5 messages, latest: Sep 21 2022 at 12:07)
- ✔ epipresheaf, powerset, contractible cover (2 messages, latest: Sep 21 2022 at 09:51)
- If types are objects, that what are values? (5 messages, latest: Sep 18 2022 at 23:26)
- order structure on open covers of a topological space? (67 messages, latest: Sep 13 2022 at 15:26)
- making categories from monomorphisms (12 messages, latest: Sep 11 2022 at 16:59)
- lax functors and connected components (20 messages, latest: Sep 11 2022 at 15:13)
- colimits of Lawvere theories (97 messages, latest: Sep 03 2022 at 11:40)
- finitely presentable objects in presheaves (13 messages, latest: Sep 02 2022 at 11:06)
- Funny tensor product (11 messages, latest: Aug 30 2022 at 18:52)
- lifting properties (26 messages, latest: Aug 28 2022 at 14:19)
- continuous functions as functors? (21 messages, latest: Aug 24 2022 at 23:29)
- natural transformation commutativity square (3 messages, latest: Aug 24 2022 at 22:44)
- n.t. commutativity square (14 messages, latest: Aug 24 2022 at 20:45)
- reference for multi-actegories (24 messages, latest: Aug 23 2022 at 22:52)
- adjunction puzzle (14 messages, latest: Aug 22 2022 at 12:52)
- differential forms in synthetic differential geometry (4 messages, latest: Aug 21 2022 at 16:11)
- In a quantale, $$ a * \_ $$ is monotone (3 messages, latest: Aug 19 2022 at 20:16)
- reflective subcategory (1 message, latest: Aug 19 2022 at 15:08)
- sign errors (23 messages, latest: Aug 19 2022 at 03:53)
- Factorization system for computing Kan extensions (3 messages, latest: Aug 18 2022 at 10:38)
- colimits and connected components (9 messages, latest: Aug 17 2022 at 10:42)
- groupoids of affine planes (40 messages, latest: Aug 16 2022 at 05:26)
- presheaves and injectivity classes (1 message, latest: Aug 14 2022 at 14:19)
- tensor product of (bi)module objects (18 messages, latest: Aug 11 2022 at 11:36)
- dual to conjoints (10 messages, latest: Aug 06 2022 at 03:16)
- Free metric group on a metric space (32 messages, latest: Aug 04 2022 at 13:26)
- V-enrichment when V is not closed (2 messages, latest: Jul 26 2022 at 15:03)
- confusion about images of aspects (5 messages, latest: Jul 25 2022 at 16:37)
- does every comonad arise from a monadic adjunction? (3 messages, latest: Jul 22 2022 at 06:27)
- on the concept of ologs (12 messages, latest: Jul 20 2022 at 10:02)
- why some initial algebras define monads? (27 messages, latest: Jul 13 2022 at 12:09)
- where is Lawvere's book on algebra? (10 messages, latest: Jul 11 2022 at 14:54)
- comma category topos (7 messages, latest: Jul 10 2022 at 04:48)
- What to look for in a category of algebraic structures? (16 messages, latest: Jul 07 2022 at 19:53)
- Isbell duality (24 messages, latest: Jul 06 2022 at 19:12)
- Confusion on the Nature of Isomorphisms in HomSet (10 messages, latest: Jun 25 2022 at 21:55)
- finding an old paper of Gray (3 messages, latest: Jun 24 2022 at 19:04)
- weak/lax fibers of a functor (44 messages, latest: Jun 24 2022 at 16:39)
- what's a "proper" intuition regarding adjunctions? (7 messages, latest: Jun 19 2022 at 09:37)
- Unknown property of posets (2 messages, latest: Jun 16 2022 at 15:43)
- name for globular sets without globular set condition (20 messages, latest: Jun 14 2022 at 08:39)
- pseudosections? (1 message, latest: Jun 14 2022 at 01:50)
- different version of Yoneda Lemma. Why does it work? (11 messages, latest: Jun 11 2022 at 00:12)
- Composition of fibrations (6 messages, latest: Jun 10 2022 at 14:58)
- Adjoint restricted to subcategories (3 messages, latest: Jun 09 2022 at 02:36)
- completion, free completion, free, -ization (39 messages, latest: Jun 05 2022 at 15:55)
- why specified isomorphisms? (23 messages, latest: Jun 02 2022 at 17:39)
- a monadicity theorem (11 messages, latest: Jun 01 2022 at 23:18)
- Understanding Yoneda Lemma "naturalness in F" (4 messages, latest: May 30 2022 at 18:00)
- motives (25 messages, latest: May 17 2022 at 16:16)
- link between limits and "usual" limits for sequence ? (30 messages, latest: May 17 2022 at 12:35)
- Is this definition for the slice category correct? (14 messages, latest: May 16 2022 at 20:25)
- Comonoids in partial functions (45 messages, latest: May 07 2022 at 05:01)
- multisets vs tuples (32 messages, latest: May 06 2022 at 16:56)
- enriched graphs (129 messages, latest: Apr 27 2022 at 14:30)
- kinematics and dynamics: adjoint? (3 messages, latest: Apr 21 2022 at 19:01)
- monomial endofunctors (6 messages, latest: Apr 21 2022 at 16:16)
- morphisms of cofunctors (5 messages, latest: Apr 19 2022 at 06:55)
- cotopos (14 messages, latest: Apr 07 2022 at 16:50)
- completeness with respect to Set (4 messages, latest: Apr 06 2022 at 16:24)
- comonoids (31 messages, latest: Apr 06 2022 at 14:00)
- ends and limits (29 messages, latest: Apr 03 2022 at 20:50)
- cotensors in a Kleisli category (2 messages, latest: Apr 01 2022 at 12:12)
- relationship between enriched and internal categories in ... (21 messages, latest: Mar 31 2022 at 19:48)
- fascinating theorems (14 messages, latest: Mar 31 2022 at 11:14)
- Basics of dependent sets (5 messages, latest: Mar 27 2022 at 11:10)
- dagger categories (33 messages, latest: Mar 26 2022 at 18:55)
- latex + CT (62 messages, latest: Mar 26 2022 at 14:27)
- internalization via hom (20 messages, latest: Mar 24 2022 at 16:56)
- reverse of a monoidal category? (13 messages, latest: Mar 24 2022 at 00:09)
- is this an opfibration? (21 messages, latest: Mar 23 2022 at 23:57)
- call stacks and lenses (22 messages, latest: Mar 22 2022 at 03:52)
- duality theorems (13 messages, latest: Mar 19 2022 at 19:44)
- monadic functor between presheaf categories (7 messages, latest: Mar 19 2022 at 02:45)
- higher categories (47 messages, latest: Mar 18 2022 at 12:11)
- one-hop neighborhood of a category (22 messages, latest: Mar 18 2022 at 10:38)
- Universal property of the classifying topos (1 message, latest: Mar 17 2022 at 17:54)
- spatial categorical logic (39 messages, latest: Mar 16 2022 at 14:38)
- structure of regular subobjects (10 messages, latest: Mar 13 2022 at 14:39)
- injection endofunctor on surjections (10 messages, latest: Mar 08 2022 at 13:22)
- enriched category (13 messages, latest: Mar 06 2022 at 12:38)
- Is the Grothendieck construction adhesive? (25 messages, latest: Mar 05 2022 at 16:07)
- (infty,infty)-categories (5 messages, latest: Mar 01 2022 at 19:01)
- T(T(M)) (29 messages, latest: Feb 28 2022 at 20:26)
- adding morphisms (49 messages, latest: Feb 27 2022 at 17:00)
- dependent pair category (13 messages, latest: Feb 25 2022 at 15:28)
- universe axioms (44 messages, latest: Feb 25 2022 at 07:51)
- internal toposes (170 messages, latest: Feb 23 2022 at 23:02)
- toposes and quasitoposes (20 messages, latest: Feb 22 2022 at 07:12)
- alignable, applicative and alternative functors (1 message, latest: Feb 21 2022 at 21:55)
- checking if my functor preserves filtered colimits (12 messages, latest: Feb 21 2022 at 20:33)
- groupoids with two objects (44 messages, latest: Feb 18 2022 at 18:01)
- groupoid representations and Erlangen geometry (17 messages, latest: Feb 17 2022 at 23:39)
- coalgebraic logic basics (15 messages, latest: Feb 13 2022 at 15:52)
- decomposition of a Lie groupoid into sub Lie groupoids (12 messages, latest: Feb 13 2022 at 13:41)
- deep learning (52 messages, latest: Feb 12 2022 at 01:54)
- classifying toposes (89 messages, latest: Feb 11 2022 at 18:43)
- "enriched enriched functors" (6 messages, latest: Feb 10 2022 at 23:04)
- Yoneda lemma applications (19 messages, latest: Feb 10 2022 at 10:40)
- operads (15 messages, latest: Feb 09 2022 at 14:35)
- Coherence theorems for monoidal categories (2 messages, latest: Feb 08 2022 at 20:03)
- are measures functors? (50 messages, latest: Feb 07 2022 at 22:40)
- weighted colimits in cats enriched over weighted sets (6 messages, latest: Feb 06 2022 at 10:18)
- two partial orders at once (18 messages, latest: Feb 05 2022 at 23:59)
- thinking about toposes (51 messages, latest: Feb 05 2022 at 04:23)
- dependent type theory syntax (102 messages, latest: Feb 03 2022 at 21:26)
- faces of convex sets (1 message, latest: Feb 03 2022 at 17:34)
- Enriched Sheaves (5 messages, latest: Feb 01 2022 at 19:19)
- Limits of diagrams with interesting composition structure (8 messages, latest: Feb 01 2022 at 12:48)
- optics - grates (46 messages, latest: Jan 31 2022 at 19:29)
- categorical first-order logic (18 messages, latest: Jan 29 2022 at 17:53)
- Framing split idempotents (12 messages, latest: Jan 27 2022 at 20:12)
- adjunction from known monad and comonad? (2 messages, latest: Jan 26 2022 at 03:53)
- generalised points and states (24 messages, latest: Jan 26 2022 at 00:08)
- displayed 2-categories (1 message, latest: Jan 25 2022 at 15:48)
- strictification theorems (16 messages, latest: Jan 24 2022 at 12:55)
- learning about fibred categories (26 messages, latest: Jan 23 2022 at 16:16)
- morphisms of monads and Kleisli categories (7 messages, latest: Jan 21 2022 at 09:03)
- motivation for topological spaces (23 messages, latest: Jan 20 2022 at 18:09)
- wiring diagrams for compact closed categories (17 messages, latest: Jan 20 2022 at 11:02)
- filterquotients (3 messages, latest: Jan 19 2022 at 18:41)
- subobject classifiers and topos theory (71 messages, latest: Jan 19 2022 at 17:51)
- n-equivalence (10 messages, latest: Jan 19 2022 at 12:16)
- partial continuous maps (27 messages, latest: Jan 18 2022 at 17:16)
- motivation for accessible categories (77 messages, latest: Jan 17 2022 at 20:50)
- 2-category of observable <= (4 messages, latest: Jan 17 2022 at 08:34)
- image subcategories structure (65 messages, latest: Jan 16 2022 at 20:55)
- Turing machines (4 messages, latest: Jan 16 2022 at 11:32)
- convex analysis (44 messages, latest: Jan 12 2022 at 22:03)
- hom is lax monoidal (7 messages, latest: Jan 12 2022 at 17:05)
- "weak pushout" universal among pullbacks (20 messages, latest: Jan 11 2022 at 21:44)
- modal HoTT (13 messages, latest: Jan 11 2022 at 04:12)
- smallest image subcategory (21 messages, latest: Jan 10 2022 at 14:16)
- sketches? (36 messages, latest: Jan 10 2022 at 14:01)
- graphical syntax for two monoidal structures (13 messages, latest: Jan 10 2022 at 12:54)
- automata and wave propagation (2 messages, latest: Jan 09 2022 at 03:54)
- contravariant strengths (10 messages, latest: Jan 08 2022 at 21:15)
- Intuition for Brown representability (4 messages, latest: Jan 07 2022 at 16:23)
- equivalence relationships preserved by endofunctors (18 messages, latest: Jan 06 2022 at 17:57)
- endomorphisms of a presheaf (17 messages, latest: Jan 06 2022 at 17:53)
- Ehresmann-Kennison Theorem (4 messages, latest: Jan 06 2022 at 01:49)
- canonical reference moncat (3 messages, latest: Jan 05 2022 at 23:07)
- are there multiple empty sets? (9 messages, latest: Jan 05 2022 at 19:53)
- existence of set-valued Kan extensions (8 messages, latest: Jan 05 2022 at 17:41)
- computing the image of a restriction of a map (4 messages, latest: Jan 05 2022 at 13:52)
- the origins of category theory, and geometry (24 messages, latest: Dec 31 2021 at 23:17)
- topos theory and dynamics (3 messages, latest: Dec 31 2021 at 22:35)
- co(ntra)variant functors and tensors (11 messages, latest: Dec 31 2021 at 22:01)
- conceptual completeness (28 messages, latest: Dec 29 2021 at 18:03)
- algebras for the continuation monad (33 messages, latest: Dec 29 2021 at 16:13)
- reference: enriched cartesian closure (2 messages, latest: Dec 29 2021 at 15:52)
- extensive categories (26 messages, latest: Dec 28 2021 at 16:44)
- "monoidal limit" (66 messages, latest: Dec 27 2021 at 23:49)
- how are Grothendieck toposes useful? (27 messages, latest: Dec 25 2021 at 20:26)
- beginner study group? (13 messages, latest: Dec 23 2021 at 04:34)
- some free monoidal constructions (10 messages, latest: Dec 21 2021 at 21:40)
- mistake in Borceux?? (3 messages, latest: Dec 19 2021 at 23:51)
- inverse of inverse (7 messages, latest: Dec 17 2021 at 16:43)
- homotopy level of a Kan complex (25 messages, latest: Dec 16 2021 at 17:04)
- elements of a group, and the category of groups (34 messages, latest: Dec 14 2021 at 07:08)
- equality of morphisms (43 messages, latest: Dec 12 2021 at 23:16)
- regularly well powered? (7 messages, latest: Dec 08 2021 at 13:31)
- recommendation for reading on higher category theory (7 messages, latest: Dec 07 2021 at 01:49)
- Baez-Dolan slice of an algebraic theory (16 messages, latest: Dec 01 2021 at 19:39)
- CT in Canada (1 message, latest: Dec 01 2021 at 10:58)
- sum, zero, copy, discard (7 messages, latest: Nov 29 2021 at 14:45)
- Frobenius algebras and orientability (31 messages, latest: Nov 29 2021 at 12:34)
- a concrete galois theory over language extension (1 message, latest: Nov 27 2021 at 05:47)
- weak equivalences without model structures (9 messages, latest: Nov 23 2021 at 00:05)
- surprising invertibility results? (6 messages, latest: Nov 22 2021 at 17:32)
- pushout of monos in Cat (11 messages, latest: Nov 21 2021 at 12:47)
- quotient objects (10 messages, latest: Nov 20 2021 at 14:54)
- thin homotopy lifting property? (9 messages, latest: Nov 18 2021 at 07:02)
- simplicial localization of model categories (6 messages, latest: Nov 16 2021 at 14:18)
- Q-Cat and hyperdoctrines (3 messages, latest: Nov 15 2021 at 20:27)
- universal properties in algebra (11 messages, latest: Nov 15 2021 at 18:13)
- Day convolution and Kan extensions (16 messages, latest: Nov 10 2021 at 14:01)
- objects as colimits of points (18 messages, latest: Nov 09 2021 at 10:53)
- schemes (42 messages, latest: Nov 08 2021 at 14:26)
- basic sheaf question (16 messages, latest: Nov 05 2021 at 20:51)
- fibrations of EI categories (36 messages, latest: Nov 03 2021 at 20:44)
- Tensor product of (arbitrary) monoids (2 messages, latest: Nov 02 2021 at 17:40)
- enriching double categories by double categories (17 messages, latest: Nov 02 2021 at 17:02)
- poset of sub-Q-categories (21 messages, latest: Nov 01 2021 at 02:50)
- 2-category of simplicial sets (3 messages, latest: Oct 28 2021 at 17:09)
- material/structural set theory quicky (7 messages, latest: Oct 26 2021 at 07:19)
- Writing style (11 messages, latest: Oct 23 2021 at 14:37)
- left adjoint functors from the category of simplicial sets (10 messages, latest: Oct 23 2021 at 03:58)
- Tensoring categories with monoidal categories (1 message, latest: Oct 22 2021 at 10:18)
- is Ab tensored over Grp? (32 messages, latest: Oct 20 2021 at 00:27)
- ELI5: amazing right adjoint (40 messages, latest: Oct 18 2021 at 23:39)
- (co)algebras and (co)monads (132 messages, latest: Oct 18 2021 at 09:07)
- [2,C] is cartesian closed, in agda (4 messages, latest: Oct 17 2021 at 13:05)
- Help with an equivalence of coends (20 messages, latest: Oct 14 2021 at 13:05)
- functors and cofunctors (15 messages, latest: Oct 14 2021 at 08:53)
- simplicial localization (9 messages, latest: Oct 08 2021 at 23:41)
- de Rham complex, Chevalley Eilenberg complex (2 messages, latest: Oct 08 2021 at 15:22)
- Epi pullback (19 messages, latest: Oct 07 2021 at 10:13)
- ✔ enriched semicategories (14 messages, latest: Oct 06 2021 at 10:57)
- monoid-annotated morphisms (8 messages, latest: Oct 05 2021 at 10:36)
- polynomial functors and powerset (25 messages, latest: Oct 01 2021 at 00:29)
- the Yoneda embedding into a cocomplete monoidal category (3 messages, latest: Sep 29 2021 at 10:12)
- internal actegory (12 messages, latest: Sep 28 2021 at 21:08)
- fields and projective planes (33 messages, latest: Sep 28 2021 at 18:32)
- sheaves on manifolds vs sheaves on manifolds (30 messages, latest: Sep 25 2021 at 13:44)
- Euler and Venn diagrams (14 messages, latest: Sep 25 2021 at 10:47)
- free monad as initial algebra (11 messages, latest: Sep 20 2021 at 10:28)
- adjoints to discrete monoidal categories (7 messages, latest: Sep 19 2021 at 21:38)
- pointless CT (8 messages, latest: Sep 18 2021 at 13:08)
- Kan extensions of M^⊗n along 𝐁sgn: 𝐁Σₙ → 𝐁ℤ/2 (3 messages, latest: Sep 17 2021 at 23:58)
- string diagrams for coproducts of endofunctors (12 messages, latest: Sep 17 2021 at 15:14)
- free cartesian category for dummies (32 messages, latest: Sep 17 2021 at 12:49)
- colored operad definition confusion (7 messages, latest: Sep 16 2021 at 09:45)
- Boolean algebras and propositional theories (35 messages, latest: Sep 15 2021 at 19:31)
- When are subobjects nice? (17 messages, latest: Sep 15 2021 at 17:39)
- points of a topos (41 messages, latest: Sep 13 2021 at 13:23)
- map of pseudoadjunctions (3 messages, latest: Sep 12 2021 at 18:08)
- the generic inhabited linear order (12 messages, latest: Sep 11 2021 at 15:01)
- free monoidal category on one generator (35 messages, latest: Sep 10 2021 at 13:45)
- concepts (8 messages, latest: Sep 09 2021 at 19:36)
- exactness properties (15 messages, latest: Sep 07 2021 at 17:27)
- biinterpretations and automorphisms (10 messages, latest: Sep 07 2021 at 15:57)
- reference: initial algebras (56 messages, latest: Sep 03 2021 at 17:48)
- CT Topology (10 messages, latest: Sep 02 2021 at 18:12)
- partial groups and groupoids (64 messages, latest: Sep 02 2021 at 16:58)
- reflection (9 messages, latest: Aug 31 2021 at 20:59)
- nerve of a monoidal category with deletes (18 messages, latest: Aug 30 2021 at 18:25)
- examples of 2-functors (13 messages, latest: Aug 30 2021 at 02:18)
- nerve of a natural transformation. (4 messages, latest: Aug 29 2021 at 19:19)
- Hom-set proof of postcomposition adjunction (4 messages, latest: Aug 22 2021 at 18:18)
- Morphisms of differentiable stacks (5 messages, latest: Aug 21 2021 at 11:29)
- smooth version of Dold-Kan correspondence (28 messages, latest: Aug 19 2021 at 21:39)
- terminology for boring 2-cats (9 messages, latest: Aug 19 2021 at 15:06)
- Physical representations (4 messages, latest: Aug 16 2021 at 17:32)
- Category of functors with different domain (3 messages, latest: Aug 16 2021 at 11:46)
- generating set (7 messages, latest: Aug 16 2021 at 11:34)
- Pseudopushouts and pseudocoequalisers of categories (12 messages, latest: Aug 13 2021 at 03:38)
- principle of equivalence and strict 2-categories (65 messages, latest: Aug 12 2021 at 09:02)
- on displayed categories vs. cats over C (46 messages, latest: Aug 11 2021 at 21:02)
- degree 0 elements of the nerve (12 messages, latest: Aug 04 2021 at 22:04)
- is every X in the category of Ys a Y in the category of Xs? (25 messages, latest: Aug 03 2021 at 20:02)
- Free Algebras of Multisorted Equational Theories (7 messages, latest: Aug 01 2021 at 16:45)
- (temporal TT) are decidable predicates on Time trivial? (4 messages, latest: Jul 30 2021 at 10:49)
- Enumerating finite categories (32 messages, latest: Jul 29 2021 at 14:32)
- Exponentiating two morphisms (19 messages, latest: Jul 25 2021 at 15:46)
- Currying characterizes exponentials? (4 messages, latest: Jul 22 2021 at 13:00)
- Commutative diagram (18 messages, latest: Jul 22 2021 at 12:58)
- learning about coalgebras (4 messages, latest: Jul 20 2021 at 17:05)
- open Petri nets (25 messages, latest: Jul 14 2021 at 18:03)
- subcategories (4 messages, latest: Jul 12 2021 at 22:10)
- complete atomic boolean algebras (29 messages, latest: Jul 12 2021 at 03:36)
- notation for delooping (13 messages, latest: Jul 07 2021 at 22:21)
- free-forgetful adjoint for Sets and Monoids question (11 messages, latest: Jul 06 2021 at 08:18)
- path objects of bicats (9 messages, latest: Jul 01 2021 at 16:47)
- equation bond (6 messages, latest: Jun 28 2021 at 19:31)
- natural transformations (307 messages, latest: Jun 28 2021 at 15:56)
- Forward derivative composition pattern (12 messages, latest: Jun 24 2021 at 17:43)
- Information theory (26 messages, latest: Jun 23 2021 at 20:54)
- Frobenius-like identity (12 messages, latest: Jun 22 2021 at 22:55)
- Double functors and natural transformations (12 messages, latest: Jun 22 2021 at 15:45)
- Enriched categories and "monoidal coproducts"? (26 messages, latest: Jun 21 2021 at 16:47)
- Categories with multiple forms of composition? (31 messages, latest: Jun 21 2021 at 12:14)
- "change of domain" for coends (50 messages, latest: Jun 18 2021 at 21:09)
- Zeno's paradoxes (33 messages, latest: Jun 17 2021 at 16:42)
- Joy of Cats (174 messages, latest: Jun 16 2021 at 11:15)
- def Quillen bifunctor (5 messages, latest: Jun 15 2021 at 21:48)
- definition of an enriched natural transformation (53 messages, latest: Jun 15 2021 at 12:31)
- Rel-bimonoids (12 messages, latest: Jun 13 2021 at 18:06)
- comonoids for Day convolution products (4 messages, latest: Jun 13 2021 at 16:23)
- Distributive laws in Cartesian closed categories (15 messages, latest: Jun 12 2021 at 14:31)
- punctual Hilbert schemes (48 messages, latest: Jun 12 2021 at 10:07)
- affine triposes and affine toposes (16 messages, latest: Jun 10 2021 at 16:00)
- generator-preserving functors (7 messages, latest: Jun 09 2021 at 21:37)
- every object is a copower (25 messages, latest: Jun 08 2021 at 21:27)
- Product of finitely presentable objects? (11 messages, latest: Jun 06 2021 at 12:53)
- symmetric difference (18 messages, latest: Jun 04 2021 at 08:16)
- isotropic relations (5 messages, latest: Jun 03 2021 at 08:14)
- Why a “universal” construction? (59 messages, latest: Jun 01 2021 at 06:01)
- Conceptual Mathematics: Exercises Help (4 messages, latest: May 30 2021 at 08:32)
- morphisms vs objects (24 messages, latest: May 28 2021 at 17:01)
- Adjoint Quintuples and Enriched Categories (3 messages, latest: May 25 2021 at 19:41)
- coalgebras of constant functors (5 messages, latest: May 21 2021 at 10:12)
- probing with closed vs open balls (29 messages, latest: May 20 2021 at 18:38)
- a category similar to the simplex category (17 messages, latest: May 19 2021 at 19:19)
- how to work with composable sequences of arrows of a cat? (32 messages, latest: May 18 2021 at 16:12)
- partial inverses in $\infty$-categories (18 messages, latest: May 13 2021 at 00:49)
- left adjoint = right adjoint (31 messages, latest: May 11 2021 at 17:11)
- L^p as adjoint (19 messages, latest: May 10 2021 at 19:33)
- exterior product and tensor of chain complexes (93 messages, latest: May 09 2021 at 13:22)
- all about 2-rigs: should they be called 2-rigs? (76 messages, latest: May 07 2021 at 04:03)
- on the relation between twisted and untwisted arrows (1 message, latest: May 06 2021 at 16:06)
- signs in the dg-nerve (2 messages, latest: May 05 2021 at 13:10)
- self-enrichment as terminal coalgebra (6 messages, latest: May 04 2021 at 16:45)
- line graphs (14 messages, latest: May 03 2021 at 16:21)
- elementary (∞,1)-topos (8 messages, latest: May 03 2021 at 15:25)
- Markov category question (10 messages, latest: May 01 2021 at 13:59)
- Eilenberg–Moore bicategory (2 messages, latest: Apr 29 2021 at 19:47)
- string diagrams = tensor networks? (27 messages, latest: Apr 28 2021 at 12:20)
- locales (21 messages, latest: Apr 25 2021 at 15:32)
- smc to petri nets (95 messages, latest: Apr 23 2021 at 22:48)
- reference request (33 messages, latest: Apr 23 2021 at 17:22)
- How to work with a labeled concrete category? (22 messages, latest: Apr 23 2021 at 13:09)
- Algebraic theory of two elements? (6 messages, latest: Apr 23 2021 at 02:40)
- uniqueness of Cartesian maps (13 messages, latest: Apr 22 2021 at 17:50)
- Euler characteristic and derivatives (6 messages, latest: Apr 21 2021 at 17:48)
- composing monadic and non-monadic adjunctions (2 messages, latest: Apr 20 2021 at 22:55)
- × in Rel (26 messages, latest: Apr 20 2021 at 19:13)
- How to characterize a groupoid by its equipment in Cat (10 messages, latest: Apr 19 2021 at 17:05)
- Arrow category as a ??? category (12 messages, latest: Apr 18 2021 at 17:05)
- What can CT tell us about alternative programming paradigms? (23 messages, latest: Apr 17 2021 at 12:01)
- algebra, geometry, coalgebra... cogeometry? (46 messages, latest: Apr 12 2021 at 17:53)
- describing presheaves on Lawvere theories (21 messages, latest: Apr 11 2021 at 19:49)
- the list functor (35 messages, latest: Apr 11 2021 at 02:16)
- Notation for (un)currying (9 messages, latest: Apr 10 2021 at 09:33)
- decomposing 2d TQFTs (67 messages, latest: Apr 10 2021 at 02:16)
- are proof assistants useful for CT? (62 messages, latest: Apr 09 2021 at 18:13)
- categories enriched in a promonoidal category (4 messages, latest: Apr 09 2021 at 09:56)
- The intuitive understanding of category theory (35 messages, latest: Apr 09 2021 at 08:00)
- encoding algebraic constraints as functors (11 messages, latest: Apr 09 2021 at 07:55)
- Optics and apartness (19 messages, latest: Apr 07 2021 at 12:58)
- functoriality of cod fibration (6 messages, latest: Apr 01 2021 at 21:31)
- relations between test categories (11 messages, latest: Apr 01 2021 at 16:46)
- natural enough transformations of graph homomorphisms (30 messages, latest: Mar 31 2021 at 20:11)
- fibration composition using pseudofunctors (112 messages, latest: Mar 29 2021 at 20:29)
- structured ncatlab (4 messages, latest: Mar 29 2021 at 09:26)
- why are generators of 2-morphisms usually nullary? (3 messages, latest: Mar 29 2021 at 03:34)
- distributive laws (9 messages, latest: Mar 24 2021 at 22:02)
- exponential, limits (11 messages, latest: Mar 24 2021 at 19:22)
- Categorical interpretation of CLL + quantifiers? (5 messages, latest: Mar 22 2021 at 17:10)
- ε-δ is "semi-adjunction"? (46 messages, latest: Mar 16 2021 at 17:23)
- infinity naturality (9 messages, latest: Mar 16 2021 at 15:02)
- equalisers/pullbacks of "global elements", but for mon. cats (1 message, latest: Mar 16 2021 at 02:13)
- category where objects and arrows are the same thing? (26 messages, latest: Mar 15 2021 at 19:20)
- notions of lax monoidal functors (9 messages, latest: Mar 15 2021 at 17:42)
- infinity kan extensions (3 messages, latest: Mar 14 2021 at 02:52)
- intuition about cofree things (37 messages, latest: Mar 12 2021 at 15:54)
- polynomial functors, type theory and homotopy (2 messages, latest: Mar 12 2021 at 15:04)
- History of $$\dashv$$ (28 messages, latest: Mar 11 2021 at 16:35)
- composing exponential objects (13 messages, latest: Mar 10 2021 at 18:04)
- quasi-cartesian monoidal categories (28 messages, latest: Mar 10 2021 at 16:21)
- iterated enrichment? (21 messages, latest: Mar 10 2021 at 10:39)
- Completeness theorem via density (10 messages, latest: Mar 09 2021 at 16:16)
- why graphs are not algebraic? (12 messages, latest: Mar 09 2021 at 14:13)
- opposite category (4 messages, latest: Mar 07 2021 at 19:21)
- (co)ends formally (4 messages, latest: Mar 07 2021 at 00:18)
- does LaxMonCat have a product? (3 messages, latest: Mar 06 2021 at 15:07)
- coinductive free things (36 messages, latest: Mar 04 2021 at 18:14)
- equationally presenting monads (4 messages, latest: Mar 04 2021 at 13:27)
- I forgot a bunch of stuff (10 messages, latest: Mar 01 2021 at 22:23)
- differential rig categories (55 messages, latest: Feb 28 2021 at 09:44)
- products in a monoid (31 messages, latest: Feb 28 2021 at 08:56)
- Finite Biproducts Without Pointedness (7 messages, latest: Feb 26 2021 at 21:33)
- Walking arrow in a 2-category (2 messages, latest: Feb 26 2021 at 02:08)
- conditions for points functor to have a left SMC adjoint? (4 messages, latest: Feb 25 2021 at 18:14)
- SMCs as opfibrations (10 messages, latest: Feb 23 2021 at 20:09)
- HoTT book (44 messages, latest: Feb 22 2021 at 19:10)
- logarithm as left adjoint (30 messages, latest: Feb 21 2021 at 23:44)
- classifying topos of local rings (44 messages, latest: Feb 20 2021 at 09:35)
- functions on inductive types are coinductive? (12 messages, latest: Feb 19 2021 at 14:44)
- indexed categories as dependent types (9 messages, latest: Feb 19 2021 at 11:22)
- Adjunction between sets and groupoids (106 messages, latest: Feb 19 2021 at 03:38)
- extremely nice monoidal closed categories (12 messages, latest: Feb 18 2021 at 10:36)
- A preorder is to an antichain as a category is to what? (10 messages, latest: Feb 17 2021 at 22:12)
- CH in a topos (37 messages, latest: Feb 17 2021 at 16:26)
- Categories of ordinals as a topoi (26 messages, latest: Feb 17 2021 at 04:49)
- Dependent Type Families in Topos Type Theory (14 messages, latest: Feb 16 2021 at 16:48)
- Street orientals (2 messages, latest: Feb 15 2021 at 21:25)
- Goguen on "hidden algebra" (1 message, latest: Feb 13 2021 at 22:31)
- Self-enrichment without symmetry (4 messages, latest: Feb 12 2021 at 22:08)
- Morphism-based pullback notation? (17 messages, latest: Feb 11 2021 at 06:10)
- Groupoids and Sets (15 messages, latest: Feb 10 2021 at 00:07)
- Closed structure on presheaf category (17 messages, latest: Feb 09 2021 at 23:33)
- Categorical adjoints as dagger category (16 messages, latest: Feb 08 2021 at 14:01)
- promonads : categories = profunctors : graphs? (77 messages, latest: Feb 07 2021 at 12:41)
- Probability dual (137 messages, latest: Feb 07 2021 at 04:54)
- Understanding Set -> Vect (100 messages, latest: Feb 05 2021 at 09:56)
- Monoidal functors to set (8 messages, latest: Feb 04 2021 at 17:19)
- A converse to Lambek theorem (8 messages, latest: Feb 03 2021 at 01:47)
- Factorizing and Finitely Presented Objects (4 messages, latest: Feb 01 2021 at 03:13)
- Monoids and left adjoint to U: Vect -> Set (203 messages, latest: Jan 31 2021 at 22:30)
- Kock-Lawvere axiom and Amazing Right Adjoints (17 messages, latest: Jan 28 2021 at 17:58)
- Internal Categories in an Endofunctor Category (14 messages, latest: Jan 28 2021 at 02:53)
- Units in a VDC (13 messages, latest: Jan 27 2021 at 22:02)
- "Characterization" in categorical language? (12 messages, latest: Jan 27 2021 at 17:22)
- Is Vect locally presentable? (34 messages, latest: Jan 27 2021 at 15:23)
- Coherence for graphical languages (154 messages, latest: Jan 26 2021 at 22:49)
- nCat as an (n+1)-category (323 messages, latest: Jan 26 2021 at 22:46)
- something like a slice category? (24 messages, latest: Jan 26 2021 at 16:50)
- Lax functors as lax modules? (1 message, latest: Jan 26 2021 at 15:41)
- Distributive laws for monoids (8 messages, latest: Jan 25 2021 at 21:02)
- this lemma is false, but why? (5 messages, latest: Jan 25 2021 at 13:41)
- All about 2-rigs (14 messages, latest: Jan 23 2021 at 12:25)
- Intuition for cospans (16 messages, latest: Jan 22 2021 at 13:25)
- Relationship between spans and bimodules (93 messages, latest: Jan 21 2021 at 18:25)
- Optics and coequalisers (16 messages, latest: Jan 20 2021 at 12:40)
- Puzzle: Finitely complete categories (192 messages, latest: Jan 19 2021 at 23:36)
- Partial application in a monoidal category (5 messages, latest: Jan 19 2021 at 13:15)
- Puzzle: Finitely complete categories (sidetrack on commun... (4 messages, latest: Jan 18 2021 at 22:29)
- Bimodules vs Spans: General solution (209 messages, latest: Jan 17 2021 at 02:17)
- Bimodules vs Spans: Puzzle 1 (10 messages, latest: Jan 16 2021 at 19:52)
- "Alternating" simplicial sets (7 messages, latest: Jan 16 2021 at 17:11)
- Functor staying within isomorphism classes on objects (27 messages, latest: Jan 16 2021 at 11:23)
- Measuring and sampling (6 messages, latest: Jan 16 2021 at 09:01)
- Bimodules vs Spans: Puzzle 2 (153 messages, latest: Jan 15 2021 at 19:31)
- Cats is not LCCC (5 messages, latest: Jan 15 2021 at 17:17)
- Comb elements in Markov categories (9 messages, latest: Jan 15 2021 at 14:56)
- Bimodules vs Spans: Puzzle 3 (17 messages, latest: Jan 14 2021 at 23:51)
- cons of graphical language (112 messages, latest: Jan 13 2021 at 17:16)
- Free monads, multisets, and string diagrams (12 messages, latest: Jan 12 2021 at 20:59)
- Structure-semantics dualities (4 messages, latest: Jan 10 2021 at 20:07)
- Span(Set): Can this idea be salvaged? (176 messages, latest: Jan 09 2021 at 06:16)
- "Infinite dimensional" simplicial sets (7 messages, latest: Jan 08 2021 at 19:07)
- Colimit in terms of a localisation (5 messages, latest: Jan 08 2021 at 10:06)
- string diagrams with rolled up dimensions (8 messages, latest: Jan 07 2021 at 18:03)
- When does F ~ F U F? (19 messages, latest: Jan 06 2021 at 16:44)
- Systems of arithmetic as categories (4 messages, latest: Jan 06 2021 at 14:31)
- Intuition about coreflective subcategory (7 messages, latest: Jan 05 2021 at 21:17)
- representably order-reflecting maps (3 messages, latest: Jan 01 2021 at 12:03)
- Isomorphisms and superfluous detail (25 messages, latest: Dec 30 2020 at 07:40)
- Cubical Sets (3 messages, latest: Dec 30 2020 at 07:40)
- Left direction of the pullback lemma (3 messages, latest: Dec 28 2020 at 11:14)
- Lax monoidal functors (239 messages, latest: Dec 28 2020 at 07:28)
- simplicial groups (14 messages, latest: Dec 27 2020 at 11:41)
- simplicial categories (11 messages, latest: Dec 26 2020 at 21:35)
- Directed graph as a functor I -> Span(Set)? (128 messages, latest: Dec 26 2020 at 21:17)
- representably co-ff 1-cells (10 messages, latest: Dec 26 2020 at 02:10)
- normalized pseudofunctor (10 messages, latest: Dec 23 2020 at 21:01)
- Grothendieck construction in geometry (72 messages, latest: Dec 23 2020 at 17:24)
- Weighted (co)limits without (co)ends (47 messages, latest: Dec 22 2020 at 12:14)
- Left adjoint to monotone function (17 messages, latest: Dec 22 2020 at 04:09)
- Help with a false proof about pullbacks and monomorphisms (6 messages, latest: Dec 21 2020 at 17:26)
- Reactivity categories (8 messages, latest: Dec 21 2020 at 11:58)
- effect algebra examples (8 messages, latest: Dec 19 2020 at 12:13)
- Kastler, Cyclic cohomology within the differential envelope (106 messages, latest: Dec 18 2020 at 00:33)
- When is the Alg(T) cocartesian? (14 messages, latest: Dec 16 2020 at 22:26)
- A bipullback of lax functors? (1 message, latest: Dec 16 2020 at 20:11)
- Coslice of Rel, with functions as objects (1 message, latest: Dec 14 2020 at 08:26)
- Quiver in C and Spans (28 messages, latest: Dec 10 2020 at 23:26)
- strengthening lax monoidal functors (14 messages, latest: Dec 09 2020 at 18:24)
- Structure vs stuff? (103 messages, latest: Dec 05 2020 at 22:16)
- Bottom-ups & Top-downs (4 messages, latest: Dec 05 2020 at 06:07)
- Imaging Systems Engineering (1 message, latest: Dec 04 2020 at 21:31)
- Inner products (8 messages, latest: Dec 04 2020 at 19:43)
- what is a modality? (126 messages, latest: Dec 04 2020 at 18:25)
- co/limit when diagram has initial/terminal objects (113 messages, latest: Dec 03 2020 at 15:58)
- "contravariant" 2-functors (77 messages, latest: Dec 03 2020 at 11:55)
- enrichment in a 2-category (11 messages, latest: Nov 28 2020 at 23:47)
- modular lattices (27 messages, latest: Nov 26 2020 at 23:11)
- The real unit interval categorically (8 messages, latest: Nov 25 2020 at 17:57)
- Name this construction on SMCs? (49 messages, latest: Nov 24 2020 at 22:23)
- Factorization system over a subcategory (6 messages, latest: Nov 24 2020 at 17:25)
- Tensor product as coend (29 messages, latest: Nov 23 2020 at 11:31)
- higher spines and generating simplices (17 messages, latest: Nov 21 2020 at 21:54)
- MonCat : Mon :: Cat : Set? (11 messages, latest: Nov 20 2020 at 20:26)
- 'Slice Yoneda' (49 messages, latest: Nov 20 2020 at 15:31)
- “Single-sorted” graph? (18 messages, latest: Nov 20 2020 at 10:58)
- Comma categories (4 messages, latest: Nov 17 2020 at 06:11)
- Notions of algebraic theory (41 messages, latest: Nov 14 2020 at 21:52)
- Discrete Morse theory for categories? (2 messages, latest: Nov 13 2020 at 15:53)
- computing 2-colimits (117 messages, latest: Nov 13 2020 at 07:25)
- Higher-order graphs (4 messages, latest: Nov 11 2020 at 16:43)
- computing a 2-limit (56 messages, latest: Nov 10 2020 at 21:31)
- Nomenclature for n-2 composition? (2 messages, latest: Nov 09 2020 at 16:20)
- Abelianisation Adjoint (101 messages, latest: Nov 05 2020 at 08:42)
- What's this operation on relations called? (6 messages, latest: Nov 05 2020 at 08:17)
- monad for measures (26 messages, latest: Nov 05 2020 at 01:52)
- Matrix Product From Monoidal Grothendieck (7 messages, latest: Nov 02 2020 at 16:13)
- Defining equivalence of arrows of concrete categories (4 messages, latest: Nov 02 2020 at 09:29)
- Notation for 2-cell compositions? (17 messages, latest: Nov 01 2020 at 21:45)
- Localising at a set of fake arrows (10 messages, latest: Nov 01 2020 at 20:43)
- op-multicategories and spans (4 messages, latest: Oct 30 2020 at 15:31)
- Polycategories with substructural codomains? (2 messages, latest: Oct 30 2020 at 11:55)
- Monoidal categories as more "natural"? (16 messages, latest: Oct 29 2020 at 13:23)
- Set product projections are surjective, right? (47 messages, latest: Oct 29 2020 at 10:59)
- Lax monoidal lax functor (14 messages, latest: Oct 28 2020 at 21:32)
- opfibrations/fibrations (62 messages, latest: Oct 27 2020 at 07:37)
- Topos theory (33 messages, latest: Oct 26 2020 at 15:52)
- Braidings in symmetric monoidal double categories (10 messages, latest: Oct 24 2020 at 19:15)
- What it's like doing math (23 messages, latest: Oct 24 2020 at 17:36)
- Systematizing nomenclature? (9 messages, latest: Oct 23 2020 at 09:16)
- Which came first, the monad or the monoid? (64 messages, latest: Oct 23 2020 at 08:57)
- Free Cartesian monoidal Category (23 messages, latest: Oct 22 2020 at 17:58)
- Internalizing "structural" operations in multicategories (18 messages, latest: Oct 22 2020 at 17:07)
- 3- (and higher) cells for monoid objects? (1 message, latest: Oct 21 2020 at 18:28)
- Monoid object associativity (16 messages, latest: Oct 21 2020 at 17:34)
- Inductive constructions of (oo,1)-cats (30 messages, latest: Oct 20 2020 at 17:27)
- unit in monad (88 messages, latest: Oct 18 2020 at 22:09)
- Example of universal property (15 messages, latest: Oct 18 2020 at 10:28)
- Terminology capturing "domain" and "codomain" (20 messages, latest: Oct 18 2020 at 09:51)
- spans for chosen class of pullbacks (1 message, latest: Oct 15 2020 at 11:55)
- "Unbiased" definition of composition? (22 messages, latest: Oct 14 2020 at 21:13)
- "Thinning" a category? (34 messages, latest: Oct 14 2020 at 17:35)
- 2-functors that preserve extensions (14 messages, latest: Oct 14 2020 at 14:36)
- Question about *-autonomous category definition (8 messages, latest: Oct 13 2020 at 20:46)
- Yoneda lemma in axiomatic formulations of category theory? (15 messages, latest: Oct 10 2020 at 14:19)
- Non-symmetric monoidal tensors on Set (30 messages, latest: Oct 06 2020 at 15:25)
- Is the category of graphs monoidal closed? (13 messages, latest: Oct 05 2020 at 04:13)
- Products in enriched categories (39 messages, latest: Oct 02 2020 at 01:29)
- Database of Categories, Topoi, etc. (4 messages, latest: Oct 01 2020 at 21:29)
- The colimit of a certain simplicial object (2 messages, latest: Oct 01 2020 at 17:59)
- Functoriality of quotients of algebraic theories (17 messages, latest: Oct 01 2020 at 16:54)
- Intro to Homotopy Theory without too many pre-reqs (13 messages, latest: Sep 30 2020 at 22:46)
- preliminaries to Yoneda Lemma (10 messages, latest: Sep 30 2020 at 11:26)
- Iterated Hyperdoctrine (19 messages, latest: Sep 29 2020 at 14:42)
- weighted colimit is an evaluation (3 messages, latest: Sep 28 2020 at 17:43)
- A diagram in context (3 messages, latest: Sep 28 2020 at 09:18)
- 2-density? (5 messages, latest: Sep 25 2020 at 18:41)
- regular categories (9 messages, latest: Sep 25 2020 at 15:36)
- product of tensored categories: is it tensored? (1 message, latest: Sep 25 2020 at 15:07)
- Commutative Diagrams (8 messages, latest: Sep 24 2020 at 19:27)
- Yoneda for operads? (2 messages, latest: Sep 24 2020 at 18:30)
- vector bundle over groupoid (9 messages, latest: Sep 23 2020 at 23:35)
- 2-monads for (co)completions (22 messages, latest: Sep 23 2020 at 17:13)
- Co/limits in enriched category (7 messages, latest: Sep 23 2020 at 17:08)
- lax bicolimits (1 message, latest: Sep 21 2020 at 17:03)
- Why are diffeological spaces smooth? (10 messages, latest: Sep 21 2020 at 16:50)
- Infinite-dimensional manifolds as smooth sets (11 messages, latest: Sep 21 2020 at 07:22)
- differentiation/integration (12 messages, latest: Sep 18 2020 at 10:55)
- Graphical calculus (3 messages, latest: Sep 17 2020 at 21:28)
- transfinite composition (11 messages, latest: Sep 17 2020 at 13:52)
- Enrichment relations categorically (33 messages, latest: Sep 15 2020 at 10:31)
- Free pseudomonoid (10 messages, latest: Sep 15 2020 at 06:11)
- Tessellation and category theory (4 messages, latest: Sep 15 2020 at 04:10)
- Sub-types in Dependent Type Theory (32 messages, latest: Sep 14 2020 at 22:29)
- Isbell envelope and bicompletion (9 messages, latest: Sep 14 2020 at 19:43)
- The measures monad for Hilbert Spaces (6 messages, latest: Sep 14 2020 at 08:42)
- Construction of LagCorel (35 messages, latest: Sep 11 2020 at 20:51)
- Basic question / searching for the name of a concept (5 messages, latest: Sep 11 2020 at 16:45)
- Final "twisted diagonal" functors (6 messages, latest: Sep 11 2020 at 12:38)
- Monoids and Groups in a CCC (8 messages, latest: Sep 11 2020 at 09:26)
- bimonoids and bimonoidal categories (5 messages, latest: Sep 11 2020 at 07:25)
- Thing that distributes over monoid morphisms (5 messages, latest: Sep 10 2020 at 10:05)
- Can't type Y: but y? (18 messages, latest: Sep 09 2020 at 08:25)
- Judgemental equalities in type theories with identity (5 messages, latest: Sep 09 2020 at 06:28)
- A pesky coequaliser (12 messages, latest: Sep 08 2020 at 19:01)
- Extensions along units & counits (48 messages, latest: Sep 08 2020 at 17:01)
- Expressive strength of type theory with only identity types (3 messages, latest: Sep 08 2020 at 13:38)
- Complete wellpowered co-wellpowered implies coequalizers (5 messages, latest: Sep 08 2020 at 12:41)
- D-modules (99 messages, latest: Sep 06 2020 at 04:45)
- Coherence in "Higher Operads, Higher Categories" (4 messages, latest: Aug 31 2020 at 16:08)
- Quantales vs presheaves on monoidal categories (6 messages, latest: Aug 27 2020 at 22:36)
- Algebraic Comodels (1 message, latest: Aug 27 2020 at 13:49)
- Terminal coalgebras of finitary monads? (12 messages, latest: Aug 26 2020 at 17:32)
- Z-categories (7 messages, latest: Aug 23 2020 at 05:24)
- Functors with "global" properties (3 messages, latest: Aug 23 2020 at 05:22)
- division in category theory (9 messages, latest: Aug 22 2020 at 23:30)
- Not a monad, not a comonad; all he knows is what he's not. (27 messages, latest: Aug 22 2020 at 09:52)
- Is this structure known? (6 messages, latest: Aug 21 2020 at 03:24)
- Does a strength induce a lax nat transformation (and vice... (2 messages, latest: Aug 18 2020 at 17:28)
- Rigorous string diagrams (97 messages, latest: Aug 17 2020 at 20:35)
- Irreducible monoids (13 messages, latest: Aug 09 2020 at 14:42)
- Calculations with linear relations (44 messages, latest: Aug 07 2020 at 12:07)
- Polytopal sets? (42 messages, latest: Aug 06 2020 at 23:30)
- Generalizing the sum of product of powersets (4 messages, latest: Aug 03 2020 at 04:25)
- implication as internal hom (2 messages, latest: Jul 26 2020 at 17:49)
- Markov categories and enrichment (54 messages, latest: Jul 26 2020 at 04:40)
- Extensionality (8 messages, latest: Jul 24 2020 at 16:21)
- Oppositization functor for Prof (18 messages, latest: Jul 20 2020 at 15:55)
- Categorical quantum mechanics and Lie Algebras (32 messages, latest: Jul 14 2020 at 20:13)
- Saunders Mac Lane and Computer Science (6 messages, latest: Jul 10 2020 at 17:37)
- euler characteristic in braided monoidal categories (11 messages, latest: Jul 08 2020 at 18:53)
- Tensorial strength in a 2-category (2 messages, latest: Jul 07 2020 at 05:33)
- simplicial sets (26 messages, latest: Jul 06 2020 at 11:24)
- Haskell do notation (3 messages, latest: Jul 03 2020 at 08:31)
- ∞-category of lagrangian cobordisms (2 messages, latest: Jun 26 2020 at 05:29)
- Pointwise extensions in a "concrete" 2-category (1 message, latest: Jun 24 2020 at 19:24)
- Finitely presentable objects (21 messages, latest: Jun 22 2020 at 19:17)
- Categorical Projective Geometry (2 messages, latest: Jun 16 2020 at 05:04)
- Cats applied to software development? (7 messages, latest: Jun 10 2020 at 09:44)
- Gabriel-Ulmer duality (8 messages, latest: Jun 10 2020 at 06:00)
- Subcategories of free objects (14 messages, latest: Jun 08 2020 at 12:26)
- Generalization of operads (12 messages, latest: Jun 06 2020 at 13:13)
- Topos of linear sets? (6 messages, latest: Jun 04 2020 at 23:08)
- Isomorphic categories of presheaves (13 messages, latest: Jun 02 2020 at 18:24)
- Underlying Graph (11 messages, latest: Jun 02 2020 at 11:11)
- Name for the inverse of delooping (3 messages, latest: Jun 01 2020 at 14:37)
- Assembling a bimonoidal category (5 messages, latest: May 31 2020 at 11:06)
- Sheaves in Geometry and Logic (21 messages, latest: May 29 2020 at 11:56)
- Automata vs nets (3 messages, latest: May 27 2020 at 16:29)
- Coproduct question (34 messages, latest: May 26 2020 at 20:50)
- F-algebra homomorphism and naturality squares (3 messages, latest: May 25 2020 at 18:12)
- Asymmetric monoidal categories (16 messages, latest: May 20 2020 at 20:55)
- Terminology for finitary algebraic theory (43 messages, latest: May 20 2020 at 16:40)
- Op functor (4 messages, latest: May 20 2020 at 06:16)
- Almost strong monoidal functors (15 messages, latest: May 19 2020 at 19:29)
- Preservation of Limits (8 messages, latest: May 19 2020 at 07:46)
- map to enriching category (6 messages, latest: May 15 2020 at 19:22)
- why are cofibres not fibres in the opposite category? (7 messages, latest: May 15 2020 at 16:23)
- Defining "finite category" (47 messages, latest: May 15 2020 at 12:38)
- Tensors and PROPS (6 messages, latest: May 14 2020 at 18:19)
- exchange rule in dtt (5 messages, latest: May 11 2020 at 14:20)
- unfactorable morphisms? (15 messages, latest: May 09 2020 at 15:02)
- Algebras with more than one zero? (3 messages, latest: May 06 2020 at 21:20)
- Categorifying algebraic structures (68 messages, latest: May 06 2020 at 20:34)
- Imperfect world (56 messages, latest: May 06 2020 at 18:33)
- Strings and graphs (17 messages, latest: May 05 2020 at 10:37)
- Choosing wires (15 messages, latest: May 04 2020 at 21:35)
- Exterior Derivative (7 messages, latest: May 04 2020 at 16:30)
- parallel dimensions (103 messages, latest: May 04 2020 at 16:20)
- Boolean Algebra (20 messages, latest: May 03 2020 at 12:45)
- Torsion Times NonTorsion (17 messages, latest: May 01 2020 at 09:46)
- Linear logic (8 messages, latest: May 01 2020 at 04:37)
- Heterogeneous duoidal structure (2 messages, latest: Apr 24 2020 at 23:27)
- Composing monoids (7 messages, latest: Apr 24 2020 at 16:21)
- Composing optics (186 messages, latest: Apr 23 2020 at 16:50)
- Symbolic software for CT (7 messages, latest: Apr 22 2020 at 08:38)
- E=mc^2 and commutative square (5 messages, latest: Apr 20 2020 at 10:39)
- braiding and symmetry (20 messages, latest: Apr 19 2020 at 03:12)
- Terminology: oplax vs colax (5 messages, latest: Apr 19 2020 at 02:29)
- Coherence for categories with limits (27 messages, latest: Apr 18 2020 at 20:59)
- Submitting to TAC (4 messages, latest: Apr 18 2020 at 03:10)
- Idempotent monoid objects (165 messages, latest: Apr 16 2020 at 20:22)
- Linear algebra in Rel (164 messages, latest: Apr 15 2020 at 22:39)
- Choice in HoTT (3 messages, latest: Apr 15 2020 at 16:56)
- Kelly’s book (32 messages, latest: Apr 14 2020 at 20:31)
- (off topic, sorry) (14 messages, latest: Apr 14 2020 at 12:10)
- Fields categorically (134 messages, latest: Apr 13 2020 at 09:37)
- Grothendieck Construction (8 messages, latest: Apr 12 2020 at 22:41)
- Presheaves of Presheaves (53 messages, latest: Apr 12 2020 at 21:26)
- Approximate Composition (5 messages, latest: Apr 12 2020 at 10:15)
- "Highschool maths" categorically (26 messages, latest: Apr 11 2020 at 16:37)
- "simplicial sheaves"? (10 messages, latest: Apr 09 2020 at 16:52)
- Linear transformation category (19 messages, latest: Apr 08 2020 at 20:06)
- Is there a name for an "empty object"? (41 messages, latest: Apr 08 2020 at 15:40)
- applications of algebraic topology (18 messages, latest: Apr 07 2020 at 18:59)
- dependent multicategory (144 messages, latest: Apr 07 2020 at 13:18)
- f-algebras (60 messages, latest: Apr 07 2020 at 08:15)
- aliasing (21 messages, latest: Apr 06 2020 at 23:10)
- Do only monoidal functors compose to give monoidal functors? (8 messages, latest: Apr 06 2020 at 21:32)
- Categorical logic and CS (27 messages, latest: Apr 06 2020 at 20:41)
- Limit of the identity functor is initial (12 messages, latest: Apr 06 2020 at 12:53)
- Is the opposite of a closed category closed? (11 messages, latest: Apr 06 2020 at 12:14)
- monoidal infinity-categories (7 messages, latest: Apr 06 2020 at 11:09)
- natural transformations and generators (3 messages, latest: Apr 05 2020 at 20:51)
- Things true up to weakening in a fibration (1 message, latest: Apr 05 2020 at 14:58)
- limits etymology (6 messages, latest: Apr 05 2020 at 09:10)
- Is the endofunctor category on Set duoidal? (9 messages, latest: Apr 04 2020 at 10:36)
- Really basic notation questions (38 messages, latest: Apr 03 2020 at 15:46)
- some sequences of categories (27 messages, latest: Apr 03 2020 at 09:54)
- Structured cospans (13 messages, latest: Mar 30 2020 at 01:57)
- functional programming 101 (75 messages, latest: Mar 29 2020 at 23:45)
- Semiotics and Cybernetics (38 messages, latest: Mar 28 2020 at 18:06)
- Profunctor composition (66 messages, latest: Mar 28 2020 at 14:51)
- Properads (307 messages, latest: Mar 28 2020 at 00:08)
- Algebra (Aluffi) exercises (55 messages, latest: Mar 27 2020 at 23:38)
- What is category theory about? (16 messages, latest: Mar 26 2020 at 16:03)
